Unsoundness in value analysis when bitfield initializer exceeds range (csmith) (#1256) · Issues · pub / frama-c