[PATCH] D85178: [Attributor] Check violation of returned position nonnull and noundef attribute in AAUndefinedBehavior

[Shinji Okumura via Phabricator via llvm-commits]

okura updated this revision to Diff 283786.
okura added a comment.

- clarify that dead returned values are ignored in `checkForReturnedValuesAndReturnedInsts` in a comment.


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

https://reviews.llvm.org/D85178

Files:
  llvm/lib/Transforms/IPO/AttributorAttributes.cpp
  llvm/test/Transforms/Attributor/undefined_behavior.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D85178.283786.patch
Type: text/x-patch
Size: 7940 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200807/0c03094e/attachment.bin>