diff options
| author | Shinji Okumura <okuraofvegetable@gmail.com> | 2020-09-02 15:40:43 +0900 |
|---|---|---|
| committer | Shinji Okumura <okuraofvegetable@gmail.com> | 2020-09-02 15:40:43 +0900 |
| commit | 7558e9e5a2a90ee58792e3b1327f400e63054dfe (patch) | |
| tree | 6ff2e2f78c45532cddcd0c316d765199a1ee0e09 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 1d99472875100b230bac2d9ea70b5cd4b45e788b (diff) | |
| download | llvm-7558e9e5a2a90ee58792e3b1327f400e63054dfe.zip llvm-7558e9e5a2a90ee58792e3b1327f400e63054dfe.tar.gz llvm-7558e9e5a2a90ee58792e3b1327f400e63054dfe.tar.bz2 | |
[Attributor] Fix AANoUndef initialization
When the associated value is undef, we immediately forced to indicate a pessimistic fixpoint so far.
This patch changes the initialization to check the attribute given in IR at first and to indicate an optimistic fixpoint when it is given.
This change will enable us to catch , for example, the following case in AAUB.
```
call void @foo(i32 noundef undef)
```
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D86983
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions