summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [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
* [analyzer] Treat @throw as a sink (stop processing).Jordan Rose2012-08-181-1/+1
* [analyzer] Update initializer assertion for delegating constructors.Jordan Rose2012-08-031-2/+7
* [analyzer] Getting an lvalue for a reference field still requires a load.Jordan Rose2012-07-311-2/+9
* [analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose2012-07-301-6/+2
* [analyzer] Look through SubstNonTypeTemplateParmExprs.Jordan Rose2012-07-271-1/+1
* [analyzer] Use a stack-based local instead of a temporary to fix build.Jordan Rose2012-07-261-4/+4
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Handle C++ member initializers and destructors.Jordan Rose2012-07-261-24/+36
* [analyzer] Handle base class initializers and destructors.Jordan Rose2012-07-261-53/+28
* Remove ExprEngine::MarkBranch(), as it is no longer needed.Ted Kremenek2012-07-251-67/+4
* [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
OpenPOWER on IntegriCloud