[PATCH] D95260: [Local] Don't DCE calls that may not return

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

> Calls that aren't willreturn should not be eliminated, as this may remove an infinite loop.

I think this is a bit misleading on it's own (not wrong though). Maybe provide the link to the `willreturn` deduction and mention that it is deduced for `readonly` + `mustprogress` functions now, consequently, we don't loose optimization opportunities for languages with `mustprogress` guarantees.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D95260/new/

https://reviews.llvm.org/D95260