int x = 0;
int y = 2;
DoSomething(); // Didn't run with x before y
Only other time I bumped into it was in Idris, which is to be expected frankly.
If you ever catch them still there with a "no optimizations" flag, then that's a pretty serious bug!