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

[Daniel Berlin via llvm-commits]

Right. This patch seems contrary to the consensus of the discussion
had about this on llvm-dev.


On Fri, Oct 2, 2015 at 2:17 PM, Tim Northover via llvm-commits
<llvm-commits at lists.llvm.org> wrote:
> 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
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits