[PATCH] D50558: [MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

In https://reviews.llvm.org/D50558#1203581, @sanjoy wrote:

> JFYI this is somewhat of a hornet's nest -- I believe cases like `test_impossible_exit_in_untaken_block` are actually correct for C/C++ because infloops without side effects are UB.


I will add similar tests with volatile loads in header, so that it would be a clearly defined situation in C++ and the same problem showed up.


https://reviews.llvm.org/D50558