I don't think there is anything that gives you this guarantee. (Happy to admit I'm wrong if shown relevant spec language.) I think if you run on a HW that is physically capable of ending the universe (including all threads and programs running within :) then UB can trigger that.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
As I understand it a compiler can assume that a codepath leading to UB is never executed. No further limitations. Therefore, in the compiler output, such a codepath may execute any arbitrary code.
Or in other words: The C++ spec only specifies the behavior of the program for program inputs that never hit UB.
