 David Blaikie
|
dc84cd5efd
Include llvm::Optional in clang/Basic/LLVM.h
|
12 жил өмнө |
|
David Blaikie
|
5251abea41
Replace SVal llvm::cast support to be well-defined.
|
12 жил өмнө |
 Jordan Rose
|
ca5d78d0bc
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
|
13 жил өмнө |
 Ted Kremenek
|
732cdf383f
Remove unnecessary ASTContext& parameter from SymExpr::getType().
|
13 жил өмнө |
 Anna Zaks
|
05c3b9ac74
[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)
|
13 жил өмнө |
|
Ted Kremenek
|
47cbd0f389
Remove ProgramState::getSymVal(). It was being misused by Checkers,
|
13 жил өмнө |
|
Ted Kremenek
|
efb3d56720
Despite me asking Jordan to do r162313, revert it. We can provide
|
13 жил өмнө |
|
Jordan Rose
|
58fc86d68d
[analyzer] Push "references are non-null" knowledge up to the common parent.
|
13 жил өмнө |
|
Anna Zaks
|
b3b1ae8575
[analyzer] Exit early if constraint solver is given a non-integer symbol
|
13 жил өмнө |
 Jordy Rose
|
1d8db493f8
[analyzer] Rework both constraint managers to handle mixed-type comparisons.
|
13 жил өмнө |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 жил өмнө |
|
David Blaikie
|
3026348bd4
More dead code removal (using -Wunreachable-code)
|
13 жил өмнө |
|
Anna Zaks
|
5344baa704
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
|
13 жил өмнө |
|
Anna Zaks
|
76462f0085
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
|
13 жил өмнө |
|
Anna Zaks
|
3cdf584e06
[analyzer] First step toward removing
|
13 жил өмнө |
|
David Blaikie
|
b219cfc4d7
Switch assert(0/false) llvm_unreachable.
|
14 жил өмнө |
|
Ted Kremenek
|
18c66fdc3c
Rename GRState to ProgramState, and cleanup some code formatting along the way.
|
14 жил өмнө |
 Douglas Gregor
|
5e9ebb3c0f
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
|
14 жил өмнө |
 Argyrios Kyrtzidis
|
d26a475068
[analyzer] Remove Checker V1.
|
14 жил өмнө |
 Zhanyong Wan
|
7dfc9420ba
Makes most methods in SVals.h conform to the naming guide. Reviewed
|
14 жил өмнө |
|
Ted Kremenek
|
9b66371644
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
14 жил өмнө |
|
Argyrios Kyrtzidis
|
811d75ee35
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
|
14 жил өмнө |
