 Jordan Rose
|
f1e67d75fc
[analyzer] Create a temporary region when accessing a struct rvalue.
|
13 years ago |
|
Jordan Rose
|
d27a368f48
Revert "[analyzer] Check that a member expr is valid even when the result is an lvalue."
|
13 years ago |
|
Jordan Rose
|
ca5d78d0bc
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
|
13 years ago |
|
Jordan Rose
|
ce6644bc1e
Revert "[analyzer] Create a temporary region for rvalue structs when accessing fields"
|
13 years ago |
|
Jordan Rose
|
20aa40342b
Revert "[analyzer] Create a temp region when a method is called on a struct rvalue."
|
13 years ago |
|
Jordan Rose
|
0006ba4459
[analyzer] Create a temp region when a method is called on a struct rvalue.
|
13 years ago |
|
Jordan Rose
|
6f61df3e72
[analyzer] Create a temporary region for rvalue structs when accessing fields
|
13 years ago |
|
Jordan Rose
|
dd1d7d88f1
[analyzer] Check that a member expr is valid even when the result is an lvalue.
|
13 years ago |
 Ted Kremenek
|
4ef19205b6
Refactor logic in ExprEngine for detecting 'noreturn' methods
|
13 years ago |
 Richard Smith
|
9a4db032ec
PR13811: Add a FunctionParmPackExpr node to handle references to function
|
13 years ago |
|
Jordan Rose
|
200fa2e70d
[analyzer] Don't attempt to devirtualize calls to base class destructors.
|
13 years ago |
 Roman Divacky
|
31ba613537
Dont cast away const needlessly. Found by gcc48 -Wcast-qual.
|
13 years ago |
 Joao Matos
|
568ba871bb
Revert r163083 per chandlerc's request.
|
13 years ago |
|
Joao Matos
|
5be92de217
Implemented parsing and AST support for the MS __leave exception statement. Also a minor fix to __except printing in StmtPrinter.cpp. Thanks to Aaron Ballman for review.
|
13 years ago |
 Anna Zaks
|
fbcb3f11fc
[analyzer] Refactor the logic that determines if a functions should be
|
13 years ago |
|
Ted Kremenek
|
2fa9d72d4d
Rename 'MaxLoop' to 'maxBlockVisitOnPath' to reflect reality. We
|
13 years ago |
|
Ted Kremenek
|
0caa2d47b8
Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'.
|
13 years ago |
|
Ted Kremenek
|
255d4d4226
Store const& to AnalyzerOptions in AnalysisManager instead of copying
|
13 years ago |
|
Jordan Rose
|
6062334cc3
[analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.
|
13 years ago |
|
Jordan Rose
|
c210cb7a35
[analyzer] Inline constructors for any object with a trivial destructor.
|
13 years ago |
|
Jordan Rose
|
3682f1ea9c
[analyzer] Use the common evalBind infrastructure for initializers.
|
13 years ago |
 Chad Rosier
|
df5faf5e7a
[ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt.
|
13 years ago |
|
Jordan Rose
|
0156439a3d
[analyzer] For now, treat pointers-to-members as non-null void * symbols.
|
13 years ago |
|
Jordan Rose
|
b66529d047
[analyzer] Support C++ default arguments if they are literal values.
|
13 years ago |
|
Ted Kremenek
|
66c486f275
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
|
13 years ago |
|
Ted Kremenek
|
3b1df8bb94
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
|
13 years ago |
|
Ted Kremenek
|
32a549a649
Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and
|
13 years ago |
|
Jordan Rose
|
fa06f0464a
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
|
13 years ago |
|
Jordan Rose
|
c32a453e40
[analyzer] Treat C++ 'throw' as a sink.
|
13 years ago |
|
Jordan Rose
|
19275bdec3
[analyzer] Treat @throw as a sink (stop processing).
|
13 years ago |
