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

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

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.


https://reviews.llvm.org/D50558