summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add transfer function support for BlockExpr.Ted Kremenek2009-11-251-0/+12
* Cleanups and fixes to the nil-receiver checker, some of it fallout theTed Kremenek2009-11-241-7/+20
* Refactor undefined result checker. This is the last one.Zhongxing Xu2009-11-241-14/+34
* Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into Zhongxing Xu2009-11-241-86/+9
* Clean up the Checker API a little more, resolving some hidden bugsTed Kremenek2009-11-231-2/+6
* Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilderZhongxing Xu2009-11-231-40/+34
* Undefined compound assignment result is checked in UndefinedAssignmentChecker...Zhongxing Xu2009-11-221-9/+0
* Remove invalid comments. The result is undefined only when operands are undef...Zhongxing Xu2009-11-221-2/+0
* Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als...Ted Kremenek2009-11-211-134/+121
* More checker refactoring. Passing undefined values in a message expression i...Ted Kremenek2009-11-211-20/+0
* Revert r89437 and add a comment.Zhongxing Xu2009-11-201-1/+2
* It's unnecessary to check for unknown at this point.Zhongxing Xu2009-11-201-2/+1
* Remove printf statement.Ted Kremenek2009-11-191-2/+0
* Add EvalEndPath interface to Checker. Now we can check memory leaked at theZhongxing Xu2009-11-171-0/+5
* Clear the dest set.Zhongxing Xu2009-11-171-0/+1
* * Do the same thing to the basicstore as in r84163.Zhongxing Xu2009-11-161-3/+10
* Remove an unused parameter.Zhongxing Xu2009-11-161-3/+2
OpenPOWER on IntegriCloud