projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 806329d) | patch
[analyzer][solver] Remove reference to RangedConstraintManager
authorGabor Marton <gabor.marton@ericsson.com>
Fri, 5 Nov 2021 10:53:29 +0000 (11:53 +0100)
committerGabor Marton <gabor.marton@ericsson.com>
Fri, 12 Nov 2021 10:44:49 +0000 (11:44 +0100)
commit01c9700aaad39339414d77da7fc910a435303016
tree45ee06865eea7c5965d3a0250611c510221a84a8tree | snapshot
parent806329da07006b3b95b5164a2a7c8b3be0aac8decommit | diff
[analyzer][solver] Remove reference to RangedConstraintManager

We no longer need a reference to RangedConstraintManager, we call top
level `State->assume` functions.

Differential Revision: https://reviews.llvm.org/D113261
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
Domain: System / Toolchain;