wrong treatment for const arrays in lib-entry mode (#1259) · Issues · pub / frama-c