← Back to context

Comment by tpush

3 years ago

The "[...] executing that program with that input [...]" part maybe could be read as making it specific to a given UB triggering execution; but I'm no language lawyer :).

2 comments

tpush

Reply
rocqua  3 years ago

True, only executions of a program that exhibit undefined behavior are affected. But the moment it is clear a program will exhibit undefined behavior, the compiler is already allowed to do whatever it wants. So if 20 lines below an important function call you will certainly call a function that will certainly cause undefined behavior, the important function call can be already be left out.

  • dathinab  3 years ago

    And the compiler could insert additional side effect free computations ahead of time to detect if an execution will hit UB later on.