summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall.Jordan Rose2012-07-181-29/+4
* [analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose2012-07-181-13/+4
* Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek2012-07-141-0/+45
* [analyzer] Construct stack variables directly in their VarDecl.Jordan Rose2012-07-101-4/+33
* [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose2012-07-101-0/+2
* [analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.Jordan Rose2012-07-101-12/+37
* Revert "Remove unused member (& consequently unused parameter) in SA's Call c...Jordan Rose2012-07-021-2/+3
* Remove unused member (& consequently unused parameter) in SA's Call code.David Blaikie2012-07-021-3/+2
* [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose2012-07-021-2/+2
* [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose2012-07-021-8/+14
* [analyzer] Move the last bits of CallOrObjCMessage over to CallEvent.Jordan Rose2012-07-021-1/+2
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-1/+1
* [analyzer] Remove unneeded helper function (it's in ASTContext.h)Jordan Rose2012-06-271-9/+0
* Implement initial static analysis inlining support for C++ methods.Ted Kremenek2012-06-221-5/+16
* Documentation cleanup: fix a type, LocatioinE -> LocationEJames Dennett2012-06-151-2/+2
* Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."Jordan Rose2012-06-121-1/+1
* [analyzer] Treat LValueBitCasts like regular pointer bit casts.Jordan Rose2012-06-111-1/+1
* Etch out the code path for MS-style inline assembly.Chad Rosier2012-06-111-0/+12
* [analyzer] Rely on canBeInlined utility instead of checking CallExprAnna Zaks2012-06-021-1/+1
* [analyzer] For locations, use isGLValue() instead of isLValue().Anna Zaks2012-05-191-4/+4
* [analyzer] Fix a c++11 crash: xvalues can be locations (VisitMemberExpr)Anna Zaks2012-05-181-1/+1
* [analyzer] RetainCountChecker: track ObjC boxed expression objects.Jordy Rose2012-05-121-6/+7
* Teach the analyzer about CXXScaleValueInitExpr.Ted Kremenek2012-05-081-10/+2
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-50/+75
* Implements boxed expressions for Objective-C. <rdar://problem/10194391>Patrick Beard2012-04-191-1/+1
* Add an AttributedStmt type to represent a statement with C++11 attributesRichard Smith2012-04-141-0/+1
* [analyzer] PCH deserialization optimization.Anna Zaks2012-04-121-1/+1
* Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek2012-04-061-33/+46
* [analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks2012-04-031-3/+3
* Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer2012-04-011-3/+1
* [analyzer] Do not inline functions which previously reached max blockAnna Zaks2012-03-301-3/+7
* [analyzer] Enable retry exhausted without inlining by default.Anna Zaks2012-03-281-1/+1
* [analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks2012-03-281-16/+16
* [analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks2012-03-271-4/+80
* Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek2012-03-221-0/+7
* [analyzer] Add stats useful for coverage investigations.Anna Zaks2012-03-221-0/+14
* [analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks2012-03-211-8/+13
* [Analyser] Remove unnecessary recursive visits for ExprWithCleanups andErik Verbruggen2012-03-141-24/+15
* Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall2012-03-101-8/+0
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-4/+16
* [analyzer] Add support for NoRedundancy inlining mode.Anna Zaks2012-03-091-2/+3
* AST representation for user-defined literals, plus just enough of semanticRichard Smith2012-03-071-1/+2
* Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek2012-03-061-0/+36
* Remove a recursive visitation in ExprEngine that is no longer needed because ...Erik Verbruggen2012-03-041-53/+15
* Teach the analyzer to just ignore CXXBindTemporaryExpr. There's nothing spec...Ted Kremenek2012-03-011-1/+1
* [analyzer] Stats: Add the stats about remove dead bindings, correct theAnna Zaks2012-02-281-0/+11
* [analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek2012-02-271-9/+2
* [analyzer] Run remove dead bindings before each call.Anna Zaks2012-02-241-1/+5
* Implement a new type trait __is_trivially_constructible(T, Args...)Douglas Gregor2012-02-241-0/+1
* Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek2012-02-181-8/+26
OpenPOWER on IntegriCloud