missing ";" after clause causes its tacit omission (#831) · Issues · pub / frama-c