r13378, assertion failed with bit-fields (#1286) · Issues · pub / frama-c