summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
Commit message (Expand)AuthorAgeFilesLines
* Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-02-021-48/+6
* Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-02-011-6/+48
* Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-01-311-48/+6
* [analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose2013-01-301-6/+48
* [analyzer] Don't crash running destructors for multidimensional arrays.Jordan Rose2012-12-121-1/+2
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* [analyzer] Assume 'new' never returns NULL if it could throw an exception.Jordan Rose2012-10-201-1/+12
* [analyzer] Cast the result of a placement new-expression to the correct type.Jordan Rose2012-09-081-1/+3
* [analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose2012-09-061-1/+2
* [analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose2012-09-051-3/+4
* [analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose2012-08-271-7/+18
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-12/+12
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-3/+4
* [analyzer] Update initializer assertion for delegating constructors.Jordan Rose2012-08-031-0/+5
* [analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose2012-07-301-14/+24
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Don't crash on array constructors and destructors.Jordan Rose2012-07-261-9/+34
* [analyzer] Handle C++ member initializers and destructors.Jordan Rose2012-07-261-0/+19
* [analyzer] Use the CFG to see if a constructor is for a local variable.Jordan Rose2012-07-261-34/+22
* [analyzer] Handle base class initializers and destructors.Jordan Rose2012-07-261-8/+70
* [analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks2012-07-191-2/+4
* [analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr.Jordan Rose2012-07-181-6/+0
* [analyzer] Handle new-expressions with initializers for scalars.Jordan Rose2012-07-161-0/+13
* [analyzer] Add a CXXDestructorCall CallEvent.Jordan Rose2012-07-101-13/+13
* [analyzer] Introduce CXXAllocatorCall to handle placement arg invalidation.Jordan Rose2012-07-021-159/+19
* [analyzer] Add generic preCall and postCall checks.Jordan Rose2012-07-021-3/+8
* [analyzer] Convert CXXConstructExpr over to use CallEvent for evaluation.Jordan Rose2012-07-021-83/+13
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-2/+4
* Implement initial static analysis inlining support for C++ methods.Ted Kremenek2012-06-221-17/+2
* [analyzer] Invalidate placement args; return the pointer given to placement newJordan Rose2012-06-201-4/+104
* Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek2012-03-161-0/+5
* [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ...Jordy Rose2012-03-151-4/+1
* '#if 0' out a variable that's only used in other preprocessor-disabled code.Matt Beaumont-Gay2012-03-141-0/+2
* [Analyser] Removes more recursive visitations in ExprEngine that are noErik Verbruggen2012-03-141-86/+10
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-0/+15
* Remove a recursive visitiation in ExprEngine that is no longer neededErik Verbruggen2012-02-291-9/+3
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-1/+2
* Revert "Revert "Make CXXNewExpr contain only a single initialier, and not hol...Sebastian Redl2012-02-161-0/+3
* Revert "Make CXXNewExpr contain only a single initialier, and not hold the us...Sebastian Redl2012-02-161-3/+0
* Make CXXNewExpr contain only a single initialier, and not hold the used const...Sebastian Redl2012-02-161-0/+3
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-0/+6
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-8/+8
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-11/+15
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-4/+6
* [analyzer] Node builders cleanup + commentsAnna Zaks2011-10-241-7/+7
* [analyzer] Completely remove the global Builder object.Anna Zaks2011-10-241-7/+6
* [analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks2011-10-241-29/+37
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-241-1/+1
* [analyzer] Remove LocationContext creation methods from AnalysisManager, and ...Ted Kremenek2011-10-231-8/+9
* Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling...Ted Kremenek2011-10-021-13/+10
OpenPOWER on IntegriCloud