Anna Zaks
|
aa0aeb1cbe
[analyzer] Node builders cleanup + comments
|
преди 14 години |
Anna Zaks
|
056c4b4633
[analyzer] Completely remove the global Builder object.
|
преди 14 години |
Anna Zaks
|
f185cc1ac7
[analyzer] Remove more dependencies from global Builder
|
преди 14 години |
Anna Zaks
|
ebae6d0209
[analyzer] Convert ExprEngine::visit() to use short lived builders.
|
преди 14 години |
Anna Zaks
|
d231d0130a
[analyzer] Convert VisitDeclStmt to use local node builder.
|
преди 14 години |
Anna Zaks
|
6b6152ba96
[analyzer] Convert more functions (ex:evalBind()) to iterative builders
|
преди 14 години |
Anna Zaks
|
8ad8c54637
[analyzer] Convert VisitUnaryOperator to use short lived Node builders
|
преди 14 години |
Anna Zaks
|
8ff5c41f2b
[analyzer] Use a temporary builder in CheckerContext.
|
преди 14 години |
Anna Zaks
|
1aae01a830
[analyzer] Pass external Dst set to NodeBuilder
|
преди 14 години |
Ted Kremenek
|
1d26f48dc2
Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses.
|
преди 14 години |
Ted Kremenek
|
b1b5daf30d
[analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead.
|
преди 14 години |
Anna Zaks
|
c9003c89c7
[analyzer] Move predecessor into the NodeBuilder context.
|
преди 14 години |
Anna Zaks
|
4e82d3cf6f
[analyzer] Make NodeBuilder and Pred node loosely coupled
|
преди 14 години |
Anna Zaks
|
67d9fbac82
[analyzer] Remove dead code.
|
преди 14 години |
Anna Zaks
|
cd656cab3f
[analyzer] Modularize builder use in processBranch.
|
преди 14 години |
Anna Zaks
|
ad62deeb70
[analyzer] Pull Pred out of NodeBuilderContext.
|
преди 14 години |
Anna Zaks
|
a19f4af7a9
[analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.
|
преди 14 години |
Richard Smith
|
85df96c1f0
Refactor static analyzer to use simpler interface to constant expression evaluation.
|
преди 14 години |
Eli Friedman
|
276b061970
Initial implementation of __atomic_* (everything except __atomic_is_lock_free).
|
преди 14 години |
Ted Kremenek
|
46eaf7789a
[analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goodnow II!
|
преди 14 години |
Ted Kremenek
|
744f1cd66b
Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by Jim Goodnow II.
|
преди 14 години |
Anna Zaks
|
d309528384
[analyzer] Add -analyzer-purge option which can take on multiple values, remove -analyzer-purge=none. (Small refactor as well: move the work of constructing AnalysisManager from the callers to the class itself.)
|
преди 14 години |
David Blaikie
|
eb2d1f1c88
Removing a bunch of dead returns/breaks after llvm_unreachables.
|
преди 14 години |
David Blaikie
|
b219cfc4d7
Switch assert(0/false) llvm_unreachable.
|
преди 14 години |
Jordy Rose
|
d1e5a89226
[analyzer] Remove TransferFuncs.h, then deal with the fallout.
|
преди 14 години |
Jordy Rose
|
e1b364324b
[analyzer] Fix member initialization order. No functionality change.
|
преди 14 години |
Jordy Rose
|
17a38e2636
[analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine.
|
преди 14 години |
Jordy Rose
|
dbd658e139
[analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState.
|
преди 14 години |
Jordy Rose
|
93bd5ca766
[analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we were ignoring it anyway. No functionality change.
|
преди 14 години |
Jordy Rose
|
fe27971d54
[analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine.
|
преди 14 години |