Comment by mirashii

Fil-C does still have UB. Signed-overflow, for instance, is still UB in Fil-C, and can still lead to things like the optimizer removing checks in the presence of UB.