Sparecode could eliminate unnecessary if statements (#1776) · Issues · pub / frama-c