[PATCH] D65296: [Attributor] Loop Abstract Attribute

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

In D65296#1602397 <https://reviews.llvm.org/D65296#1602397>, @jdoerfert wrote:

> - instructions in the loop to show that endless loops would cause UB eventually


I couldn't come up with how this can be used for the deduction. For example, alloca in the loop would cause UB but what information this gives us? I think endless loops would itself be a very strong thing.


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

https://reviews.llvm.org/D65296