summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove type-punning warning in GRExprEngine. No functionality change.Ted Kremenek2008-10-271-4/+7
* Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek2008-10-271-0/+33
* Refactor the expression class hierarchy for casts. Most importantly:Douglas Gregor2008-10-271-1/+4
* Do not crash when performing VisitLValue on union types.Ted Kremenek2008-10-251-3/+4
* Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu2008-10-251-0/+7
* Now we can handle arrays.Zhongxing Xu2008-10-251-5/+0
* Implicit conversions from arrays can also be conversions to references (will ...Ted Kremenek2008-10-241-1/+1
* Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek2008-10-241-1/+1
* Fix 80-col violation.Zhongxing Xu2008-10-241-1/+1
* Make the analyzer store (memory model) a command line option.Ted Kremenek2008-10-241-2/+3
* Add an assertion to make our intention more clear.Zhongxing Xu2008-10-231-0/+2
* Let StoreManager do different cast on arrays. BasicStore will just keep it in...Zhongxing Xu2008-10-231-2/+8
* Adjust parameter order to more natural one.Zhongxing Xu2008-10-221-1/+1
* Exprs of function type is another special case for ImplicitCast.Zhongxing Xu2008-10-221-2/+2
OpenPOWER on IntegriCloud