r24011: failure: Invalid combination of type specifiers (#1183) · Issues · pub / frama-c