summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Process cast according to the cast kind. Prepare for more specific cast Zhongxing Xu2010-01-221-17/+47
* Fix a serious bug: Tmp3 is the wrong destination set. We should create a newZhongxing Xu2010-01-191-6/+6
* Roll out ASTContext::getTypeSizeInChars(), replacing instances ofKen Dyck2010-01-111-5/+7
* Fix overzealous assertion in GRExprEngine::VisitLValue(). ATed Kremenek2010-01-091-7/+25
* When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu2010-01-091-0/+25
* Fix handling in GRExprEngine of 'default' branch in switch statementsTed Kremenek2010-01-081-5/+12
* Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek2010-01-051-2/+7
* Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek2010-01-051-11/+27
* Let constraint manager inform checkers that some assumption logic has happend.Zhongxing Xu2009-12-311-1/+2
* Remove some dead variables clang-analyzer found.Benjamin Kramer2009-12-251-2/+0
* Fix typo spotted by MSVC.Benjamin Kramer2009-12-251-2/+2
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-0/+6
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-0/+6
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-7/+11
* Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek2009-12-231-0/+37
* Add stack trace pretty printing in GRExprEngine::VisitLValue().Ted Kremenek2009-12-231-0/+4
* Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now).Ted Kremenek2009-12-231-0/+1
* Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet.Ted Kremenek2009-12-231-1/+2
* Also treat the type of the subexpression as a pointer in GRExprEngine::VisitC...Ted Kremenek2009-12-231-0/+1
* Add basic support for analyzing CastExprs as lvalues.Ted Kremenek2009-12-231-3/+27
* Add transfer functions support for visiting an Objective-C message expression...Ted Kremenek2009-12-221-38/+73
* Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncov...Ted Kremenek2009-12-181-5/+52
* Tweak formatting and comments.Ted Kremenek2009-12-171-6/+4
* Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion ...Ted Kremenek2009-12-171-45/+64
* Reduce nesting by using early exits. No functionality change.Ted Kremenek2009-12-171-35/+46
* Sort switch statement. No functionality change.Ted Kremenek2009-12-171-15/+15
* Fix check in GRExprEngine for the 'main' function to handle NULL IdentifierIn...Ted Kremenek2009-12-171-16/+17
* Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu2009-12-161-15/+30
* Add (initial?) static analyzer support for handling C++ references.Ted Kremenek2009-12-161-16/+63
* Start the ball rolling on C++ support in the static analyzer. ForTed Kremenek2009-12-151-0/+35
* Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...Ted Kremenek2009-12-141-2/+3
* Use insert to avoid destroying existing nodes.Zhongxing Xu2009-12-141-1/+1
* Refactor OSAtomic evaluation logic into OSAtomicChecker.Zhongxing Xu2009-12-091-150/+2
* Use a temporary destination set such that we can clear fake auto transitions.Zhongxing Xu2009-12-091-3/+24
* OSAtomic simulation: use the original region as the location to load from,Zhongxing Xu2009-12-091-2/+5
* remove dead code.Zhongxing Xu2009-12-091-41/+0
* Insert instead of assign to the dest node set, since we use the dest node setZhongxing Xu2009-12-091-1/+1
* Fix a horrid bug in GRExprEngine::CheckerVisit() that was identifiedTed Kremenek2009-12-091-41/+58
* Refactor builtin function evaluation into a checker.Zhongxing Xu2009-12-081-8/+1
* Add analysis support for blocks. This includes a few key changes:Ted Kremenek2009-12-071-5/+27
* Add EvalCallExpr interface to checker, and migrate the no-return functionZhongxing Xu2009-12-071-59/+53
* Hard bifurcate the state into nil receiver and non-nil receiver, so thatZhongxing Xu2009-12-021-40/+58
* Eliminate another VISIBILITY_HIDDENDouglas Gregor2009-11-301-4/+1
* Adapt to the DOTGraphTraits changes in LLVM.Tobias Grosser2009-11-301-1/+4
* lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam2009-11-281-2/+4
* Refine MemRegions for blocks. Add a new region calledTed Kremenek2009-11-251-1/+3
* Add post-visit Checker support in GRExprEngine for BlockExpr.Ted Kremenek2009-11-251-1/+7
* Make RegisterInternalChecks() part of GRExprEngine's private implementation b...Ted Kremenek2009-11-251-30/+32
* Register internal checks with GRExprEngine when it is constructed, not manual...Ted Kremenek2009-11-251-1/+5
* When dispatching to Checker objects in GRExprEngine::CheckerVisit(),Ted Kremenek2009-11-251-4/+12
OpenPOWER on IntegriCloud