validity of a field defined in an abstract struct typedef (#1211) · Issues · pub / frama-c