diff options
| author | Shinji Okumura <okuraofvegetable@gmail.com> | 2020-08-30 13:17:02 +0900 |
|---|---|---|
| committer | Shinji Okumura <okuraofvegetable@gmail.com> | 2020-08-30 13:17:02 +0900 |
| commit | a7ca9e09bd10a989cf920df2fd70f562707c4776 (patch) | |
| tree | 12ff848f0b63c094b9398d4aec82bc667f707a75 /llvm/lib/FileCheck/FileCheck.cpp | |
| parent | 7082381735e7b663e787dbac2e6e59853c2f9b2e (diff) | |
| download | llvm-a7ca9e09bd10a989cf920df2fd70f562707c4776.zip llvm-a7ca9e09bd10a989cf920df2fd70f562707c4776.tar.gz llvm-a7ca9e09bd10a989cf920df2fd70f562707c4776.tar.bz2 | |
[Attributor] Fix callsite check in AAUndefinedBehavior
This is the next patch of D86842
When we check `noundef` attribute violation at callsites, we do not have to require `nonnull` in the following two cases.
1. An argument is known to be simplified to undef
2. An argument is known to be dead
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D86845
Diffstat (limited to 'llvm/lib/FileCheck/FileCheck.cpp')
0 files changed, 0 insertions, 0 deletions