Kernel error with RTE generated annotations: invalid operands (bitwise) (#1965) · Issues · pub / frama-c