summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* In GRExprEngine treat @throw as an 'abort' that ends the current path. This ...Ted Kremenek2008-12-091-0/+9
* [static analyzer] Extend VLA size checking to look for undefined sizes.Ted Kremenek2008-12-091-2/+10
* Add checking for zero-sized VLAs.Ted Kremenek2008-12-081-2/+28
* Add bandaid transfer function support for assignments involving ObjCKVCRefExpr.Ted Kremenek2008-12-061-0/+7
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-4/+4
* Add support for initializing array with string literal.Zhongxing Xu2008-11-301-0/+4
* Code cleanup. No functional change.Zhongxing Xu2008-11-281-3/+5
* Add support for pluggable components of static analyzer.Zhongxing Xu2008-11-271-3/+3
* Remove FIXME comment.Ted Kremenek2008-11-241-1/+0
* Add support for AllocaRegion extent with GDM.Zhongxing Xu2008-11-241-0/+7
* Cleanup code with utility method.Zhongxing Xu2008-11-241-2/+2
* Add out-of-bound memory access warning report code.Zhongxing Xu2008-11-231-4/+17
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-2/+7
* - Clean up transfer function logic for 'return' statements.Ted Kremenek2008-11-211-36/+26
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-161-2/+6
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-161-0/+15
* Reduce permissiveness of assertion.Ted Kremenek2008-11-151-2/+1
* Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-...Ted Kremenek2008-11-151-23/+37
* Re-enable an assertion that I mistakenly removed.Ted Kremenek2008-11-151-7/+1
* Use the correct QualType when creating the '0' constant.Ted Kremenek2008-11-151-1/+1
* Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek2008-11-151-5/+11
* Second attempt at implementation transfer function support for ObjCForCollect...Ted Kremenek2008-11-141-35/+52
* Add a new expression node, CXXOperatorCallExpr, which expresses aDouglas Gregor2008-11-141-1/+2
* Improve comments.Zhongxing Xu2008-11-141-1/+1
* - Revert r59229 and r59232: AllocRegion should be immutable.Ted Kremenek2008-11-131-20/+0
* Lift the pointer to alloca'ed region to the pointer to its first element.Zhongxing Xu2008-11-131-1/+21
* GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek2008-11-131-12/+18
* GRExprEngine::VisitInitListExpr:Ted Kremenek2008-11-131-2/+2
* Shore up transfer function for ObjCForCollectionStmt.Ted Kremenek2008-11-121-9/+17
* Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek2008-11-121-5/+105
* Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl2008-11-111-41/+7
* silence a warning from gcc.Chris Lattner2008-11-101-0/+1
* Add a boilerplate for out-of-bound array checking. This has no real function ...Zhongxing Xu2008-11-081-0/+22
* Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu2008-11-071-20/+14
* Add transfer function logic for alloca().Ted Kremenek2008-11-021-0/+10
* Comment out invalid assertion. I'm leaving it in the code for now as a remin...Ted Kremenek2008-10-311-1/+3
* Fix 80-col violations.Zhongxing Xu2008-10-311-5/+5
* Add a tentative assertion.Zhongxing Xu2008-10-311-2/+3
* Fix a comment.Zhongxing Xu2008-10-311-1/+1
* Handle the case in VisitInitListExprs where there are no initializers in the ...Ted Kremenek2008-10-301-8/+15
* Use the correct predecessor node.Ted Kremenek2008-10-301-1/+1
* Add missing return statement.Ted Kremenek2008-10-301-0/+2
* Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions.Ted Kremenek2008-10-301-26/+55
* Merge the array and struct case. They are essentially the same.Zhongxing Xu2008-10-301-7/+1
* Rename:Zhongxing Xu2008-10-301-54/+54
* Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal v...Zhongxing Xu2008-10-301-0/+71
* Mark yy_fatal_error as a panic function.Ted Kremenek2008-10-301-1/+3
* Rename: AddDecl => BindDeclZhongxing Xu2008-10-291-1/+1
* Rename ExplicitCCastExpr to CStyleCastExprDouglas Gregor2008-10-281-1/+1
* Improve our handling of (C++) references within Clang. Specifically:Douglas Gregor2008-10-281-7/+28
OpenPOWER on IntegriCloud