summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer]Revert part of r161511; suppresses leak false positives in C++Anna Zaks2013-02-061-0/+6
* [analyzer] C++ initializers may require cleanups; look through these.Jordan Rose2013-01-261-1/+1
* Fix CastDavid Greene2013-01-151-1/+2
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-121-1/+1
* [analyzer] Rename callback EndPath -> EndFunctionAnna Zaks2013-01-031-2/+2
* [analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks2012-12-211-9/+6
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-6/+116
* fixed line endingsAnton Yartsev2012-12-141-22/+22
* added post-statement callback to CXXNewExpr and pre-statement callback to CXX...Anton Yartsev2012-12-141-15/+22
* [analyzer] Propagate the checker's state from checkBranchConditionAnna Zaks2012-12-141-3/+3
* [analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks2012-12-071-2/+4
* [analyzer] Remove unused fields from ExprEngine.Jordan Rose2012-12-061-14/+7
* [analyzer] Remove checks that predate the linearized CFG.Jordan Rose2012-12-061-10/+1
* [analyzer] Use optimized assumeDual for branches.Jordan Rose2012-12-061-6/+12
* [analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose2012-12-061-11/+6
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-7/+7
* [analyzer] Mark symbol values as dead in the environment.Jordan Rose2012-11-151-6/+22
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-5/+19
* [analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks2012-11-031-9/+9
* [analyzer] Handle 'SomeVar.SomeEnumConstant', which is legal in C++.Jordan Rose2012-10-231-7/+7
* [analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose2012-10-231-4/+5
* [analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose2012-10-171-27/+50
* Revert "[analyzer] Check that a member expr is valid even when the result is ...Jordan Rose2012-10-011-17/+9
* [analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose2012-10-011-1/+1
* Revert "[analyzer] Create a temporary region for rvalue structs when accessin...Jordan Rose2012-09-291-9/+9
* Revert "[analyzer] Create a temp region when a method is called on a struct r...Jordan Rose2012-09-291-31/+22
* [analyzer] Create a temp region when a method is called on a struct rvalue.Jordan Rose2012-09-281-22/+31
* [analyzer] Create a temporary region for rvalue structs when accessing fieldsJordan Rose2012-09-281-9/+9
* [analyzer] Check that a member expr is valid even when the result is an lvalue.Jordan Rose2012-09-221-9/+17
* Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek2012-09-131-3/+1
* PR13811: Add a FunctionParmPackExpr node to handle references to functionRichard Smith2012-09-121-0/+1
* [analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose2012-09-061-3/+3
* Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky2012-09-061-3/+3
* Revert r163083 per chandlerc's request.Joao Matos2012-09-041-1/+0
* Implemented parsing and AST support for the MS __leave exception statement. A...Joao Matos2012-09-021-0/+1
* [analyzer] Refactor the logic that determines if a functions should beAnna Zaks2012-08-301-3/+4
* Rename 'MaxLoop' to 'maxBlockVisitOnPath' to reflect reality. WeTed Kremenek2012-08-301-1/+1
* Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'.Ted Kremenek2012-08-301-11/+13
* Store const& to AnalyzerOptions in AnalysisManager instead of copyingTed Kremenek2012-08-301-11/+12
* [analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.Jordan Rose2012-08-281-1/+1
* [analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose2012-08-271-6/+2
* [analyzer] Use the common evalBind infrastructure for initializers.Jordan Rose2012-08-251-16/+25
* [ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt.Chad Rosier2012-08-251-5/+5
* [analyzer] For now, treat pointers-to-members as non-null void * symbols.Jordan Rose2012-08-231-1/+6
* [analyzer] Support C++ default arguments if they are literal values.Jordan Rose2012-08-231-5/+1
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-35/+35
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-2/+1
* Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek2012-08-221-14/+18
* [analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose2012-08-201-26/+21
* [analyzer] Treat C++ 'throw' as a sink.Jordan Rose2012-08-181-7/+2
OpenPOWER on IntegriCloud