diff options
| author | Nikita Popov <npopov@redhat.com> | 2023-02-21 12:00:11 +0100 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2023-03-09 10:25:04 +0100 |
| commit | 6b545db83c5a4e2c79e0b289e840be2c5fbbf327 (patch) | |
| tree | e7a1e279011bcaead71fd5d4f2ff0b056829f688 /clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp | |
| parent | 7ed77dad815a38309844f8ecd22caaad8b11150d (diff) | |
| download | llvm-6b545db83c5a4e2c79e0b289e840be2c5fbbf327.zip llvm-6b545db83c5a4e2c79e0b289e840be2c5fbbf327.tar.gz llvm-6b545db83c5a4e2c79e0b289e840be2c5fbbf327.tar.bz2 | |
[IPSCCP] Don't require noundef for !range annotation
Since https://reviews.llvm.org/D141386 !range violations return
poison instead of causing immediate undefined behavior. As such,
it is fine for IPSCCP to infer !range even if the value might be
poison. (The value cannot be undef as this would promote undef to
poison, but this is already checked separately.)
This basically undoes the late change done to D83952, restoring
it to its original version (which is now valid).
Differential Revision: https://reviews.llvm.org/D144467
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp')
0 files changed, 0 insertions, 0 deletions