[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 283646.
okura added a comment.

- fix comment
- change the callback so that it does not simplify the value.


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.283646.patch
Type: text/x-patch
Size: 7748 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200806/1c76c3a7/attachment.bin>