frama-c gets confused by comma operator inside ternary operator: cannot cast from void to char (#566) · Issues · pub / frama-c