News for hackers. Stuff that matters.

A comment on “Pack it in, mathematicians, someone owes LLVM a million bucks”. Parent comment

Re:“Pack it in, mathematicians, someone owes LLVM a million ... by AnIdiotOnTheNet on Thursday August 19, 2021 @12:06PM (#28235587)
> You can't turn hitting that undefined behaviour into a compiler error, as distinguishing between the two requires solving the halting problem.

That's a fair point, but it still feels wrong to me that the compiler can throw away large chunks of code and change the outcome of the function silently.

[ Parent | on HN ]
Re:“Pack it in, mathematicians, someone owes LLVM a million ... by Blaisorblade0 on Friday August 20, 2021 @09:51PM (#28253352)
Throwing away large chunks of code is what optimizers exist for! Sadly, most discussions of UB only show when it "goes wrong" (has surprising results), not when it goes right!
[ Parent | on HN ]