[PATCH] D13137: Do not remove calls to functions that may not halt

[Tim Northover via llvm-commits]

t.p.northover added a subscriber: t.p.northover.
t.p.northover added a comment.

Isn't it explicitly allowed in C and C++ if the function has no other effects?

I thought the consensus was that since:

- the only observable behaviour the compiler must preserve are (roughly) libcalls and volatile accesses,
- it may assume progress on these fronts is made by a well-defined program

any such non-terminating but otherwise side-effect free call was UB.


http://reviews.llvm.org/D13137