aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
AgeCommit message (Expand)Author
2012-10-23[analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose
2012-10-17[analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose
2012-10-01Revert "[analyzer] Check that a member expr is valid even when the result is ...Jordan Rose
2012-10-01[analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose
2012-09-29Revert "[analyzer] Create a temporary region for rvalue structs when accessin...Jordan Rose
2012-09-29Revert "[analyzer] Create a temp region when a method is called on a struct r...Jordan Rose
2012-09-28[analyzer] Create a temp region when a method is called on a struct rvalue.Jordan Rose
2012-09-28[analyzer] Create a temporary region for rvalue structs when accessing fieldsJordan Rose
2012-09-22[analyzer] Check that a member expr is valid even when the result is an lvalue.Jordan Rose
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-09-12PR13811: Add a FunctionParmPackExpr node to handle references to functionRichard Smith
2012-09-06[analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose
2012-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-09-04Revert r163083 per chandlerc's request.Joao Matos
2012-09-02Implemented parsing and AST support for the MS __leave exception statement. A...Joao Matos
2012-08-30[analyzer] Refactor the logic that determines if a functions should beAnna Zaks
2012-08-30Rename 'MaxLoop' to 'maxBlockVisitOnPath' to reflect reality. WeTed Kremenek
2012-08-30Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'.Ted Kremenek
2012-08-30Store const& to AnalyzerOptions in AnalysisManager instead of copyingTed Kremenek
2012-08-28[analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.Jordan Rose
2012-08-27[analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose
2012-08-25[analyzer] Use the common evalBind infrastructure for initializers.Jordan Rose
2012-08-25[ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt.Chad Rosier
2012-08-23[analyzer] For now, treat pointers-to-members as non-null void * symbols.Jordan Rose
2012-08-23[analyzer] Support C++ default arguments if they are literal values.Jordan Rose
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-08-22Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose
2012-08-18[analyzer] Treat C++ 'throw' as a sink.Jordan Rose
2012-08-18[analyzer] Treat @throw as a sink (stop processing).Jordan Rose
2012-08-03[analyzer] Update initializer assertion for delegating constructors.Jordan Rose
2012-07-31[analyzer] Getting an lvalue for a reference field still requires a load.Jordan Rose
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-27[analyzer] Look through SubstNonTypeTemplateParmExprs.Jordan Rose
2012-07-26[analyzer] Use a stack-based local instead of a temporary to fix build.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-26[analyzer] Handle C++ member initializers and destructors.Jordan Rose
2012-07-26[analyzer] Handle base class initializers and destructors.Jordan Rose
2012-07-25Remove ExprEngine::MarkBranch(), as it is no longer needed.Ted Kremenek
2012-07-18[analyzer] Combine all ObjC message CallEvents into ObjCMethodCall.Jordan Rose
2012-07-18[analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose
2012-07-14Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek
2012-07-10[analyzer] Construct stack variables directly in their VarDecl.Jordan Rose
2012-07-10[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose
2012-07-10[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.Jordan Rose
2012-07-02Revert "Remove unused member (& consequently unused parameter) in SA's Call c...Jordan Rose
2012-07-02Remove unused member (& consequently unused parameter) in SA's Call code.David Blaikie
2012-07-02[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose
2012-07-02[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 05:01:33 +0000