Why error with logic functions returning a pointer (#2533) · Issues · pub / frama-c