[PATCH] D65296: [Attributor] Loop Abstract Attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

I think we also want to look at:

- loop exit conditions to show that they are trivial/never fulfilled
- instructions in the loop to show that endless loops would cause UB eventually


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

https://reviews.llvm.org/D65296