Value analysis: bad type conversion plus unassigned fields in a struct leads to crash (#1238) · Issues · pub / frama-c