diff options
| author | guillem-bartrina-sonarsource <guillem.bartrina@sonarsource.com> | 2025-10-14 10:25:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-14 10:25:48 +0200 |
| commit | d49aa40fc703d061f48e520b9c1b63e6646c6907 (patch) | |
| tree | 7018026c23fa95b4bbb4baa21d722786ba18ab46 /llvm/lib/Target/NVPTX/NVPTXSubtarget.h | |
| parent | a8057ff12956b7dd6dec44f9610c446c828c4af8 (diff) | |
| download | llvm-main.zip llvm-main.tar.gz llvm-main.tar.bz2 | |
The first thing `SValBuilder::evalBinOpNN` does is simplify both
operators
([here](https://github.com/llvm/llvm-project/blob/main/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp#L430-L437)),
why wouldn't we simplify the RHS in `SValBuilder::evalBinOpLN`?
When the LHS is an `Element`, the right side is simplified incidentally
when calling `evalBinOpNN`
([here](https://github.com/llvm/llvm-project/blob/main/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp#L1169-L1170)).
Without this patch, the “base_complex” test case is **UNKNOWN** instead of **TRUE**.
Diffstat (limited to 'llvm/lib/Target/NVPTX/NVPTXSubtarget.h')
0 files changed, 0 insertions, 0 deletions