Option -val-signed-overflow-alarms misses some overflow (#2189) · Issues · pub / frama-c