diff options
| author | Juneyoung Lee <aqjune@gmail.com> | 2020-09-24 18:52:30 +0900 |
|---|---|---|
| committer | Juneyoung Lee <aqjune@gmail.com> | 2020-09-25 08:57:57 +0900 |
| commit | 1c45220028a8aa39ad2f26c8c3c6234d1a816086 (patch) | |
| tree | 4f8f43cf0e15900471b520bed401a2fb698f7e23 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 495a5e94baadefa6ed50390e6655021c127ea266 (diff) | |
| download | llvm-1c45220028a8aa39ad2f26c8c3c6234d1a816086.zip llvm-1c45220028a8aa39ad2f26c8c3c6234d1a816086.tar.gz llvm-1c45220028a8aa39ad2f26c8c3c6234d1a816086.tar.bz2 | |
[ValueTracking] Check uses of Argument if it is given to isGuaranteedNotToBeUndefOrPoison
This is a patch that allows isGuaranteedNotToBeUndefOrPoison to return more precise result
when an argument is given, by looking through its uses at the entry block (and following blocks as well, if it is checking poison only).
This is useful when there is a function call with noundef arguments at the entry block.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D88207
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions