projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68dafe4) | patch
[analyzer][solver] Fix infeasible constraints (PR49642)
authorValeriy Savchenko <vsavchenko@apple.com>
Fri, 19 Mar 2021 14:00:00 +0000 (17:00 +0300)
committerValeriy Savchenko <vsavchenko@apple.com>
Mon, 22 Mar 2021 08:02:02 +0000 (11:02 +0300)
commit3085bda2b348f6a8b4e0bd1d230af4e9c900c9c4
tree04e4d28abd39618c83d05371959f242c323b6690tree | snapshot
parent68dafe40a69f799f69eeeb1f658da6e129c6d832commit | diff
[analyzer][solver] Fix infeasible constraints (PR49642)

Additionally, this patch puts an assertion checking for feasible
constraints in every place where constraints are assigned to states.

Differential Revision: https://reviews.llvm.org/D98948
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
clang/test/Analysis/PR49642.c [new file with mode: 0644] blob
Domain: System / Toolchain;