Precise widening when a loop condition involves a char or short (#1658) · Issues · pub / frama-c