@BrodieOnLinux There's this particular case in C where one would assume something rather basic (like that signed integers overflow), the code will not work, they would debug the hell out of it and get to the "WHY TFK MY INTEGER IS NOT OVERFLOWING" point and finally realize that signed overflow is UB and thus the compiler "optimized" the code.