[clang] [analyzer][Solver] Early return if sym is concrete on assuming (PR #115579)
Ding Fei via cfe-commits
cfe-commits at lists.llvm.org
Tue Nov 19 09:25:13 PST 2024
danix800 wrote:
For this testcase, two constrainst are collected on the path:
```c
(1) a + b + c == d
(2) b + c = 0
```
when assuming the third constraint `b == 0`, (1) or (2) is selected at random order for simplifying
eq class.
The fixedpoint simplification algorithm will recurse by `Re-evaluate an SVal with top-level State->assume logic`.
Early return in this PR would break this simplification.
https://github.com/llvm/llvm-project/pull/115579
More information about the cfe-commits
mailing list