aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2008-11-16Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu
2008-11-16Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu
2008-11-15Reduce permissiveness of assertion.Ted Kremenek
2008-11-15Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-...Ted Kremenek
2008-11-15Re-enable an assertion that I mistakenly removed.Ted Kremenek
2008-11-15Use the correct QualType when creating the '0' constant.Ted Kremenek
2008-11-15Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek
2008-11-14Second attempt at implementation transfer function support for ObjCForCollect...Ted Kremenek
2008-11-14Add a new expression node, CXXOperatorCallExpr, which expresses aDouglas Gregor
2008-11-14Improve comments.Zhongxing Xu
2008-11-13- Revert r59229 and r59232: AllocRegion should be immutable.Ted Kremenek
2008-11-13Lift the pointer to alloca'ed region to the pointer to its first element.Zhongxing Xu
2008-11-13GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek
2008-11-13GRExprEngine::VisitInitListExpr:Ted Kremenek
2008-11-12Shore up transfer function for ObjCForCollectionStmt.Ted Kremenek
2008-11-12Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek
2008-11-11Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl
2008-11-10silence a warning from gcc.Chris Lattner
2008-11-08Add a boilerplate for out-of-bound array checking. This has no real function ...Zhongxing Xu
2008-11-07Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu
2008-11-02Add transfer function logic for alloca().Ted Kremenek
2008-10-31Comment out invalid assertion. I'm leaving it in the code for now as a remin...Ted Kremenek
2008-10-31Fix 80-col violations.Zhongxing Xu
2008-10-31Add a tentative assertion.Zhongxing Xu
2008-10-31Fix a comment.Zhongxing Xu
2008-10-30Handle the case in VisitInitListExprs where there are no initializers in the ...Ted Kremenek
2008-10-30Use the correct predecessor node.Ted Kremenek
2008-10-30Add missing return statement.Ted Kremenek
2008-10-30Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions.Ted Kremenek
2008-10-30Merge the array and struct case. They are essentially the same.Zhongxing Xu
2008-10-30Rename:Zhongxing Xu
2008-10-30Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal v...Zhongxing Xu
2008-10-30Mark yy_fatal_error as a panic function.Ted Kremenek
2008-10-29Rename: AddDecl => BindDeclZhongxing Xu
2008-10-28Rename ExplicitCCastExpr to CStyleCastExprDouglas Gregor
2008-10-28Improve our handling of (C++) references within Clang. Specifically:Douglas Gregor
2008-10-27Remove type-punning warning in GRExprEngine. No functionality change.Ted Kremenek
2008-10-27Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek
2008-10-27Refactor the expression class hierarchy for casts. Most importantly:Douglas Gregor
2008-10-25Do not crash when performing VisitLValue on union types.Ted Kremenek
2008-10-25Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu
2008-10-25Now we can handle arrays.Zhongxing Xu
2008-10-24Implicit conversions from arrays can also be conversions to references (will ...Ted Kremenek
2008-10-24Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek
2008-10-24Fix 80-col violation.Zhongxing Xu
2008-10-24Make the analyzer store (memory model) a command line option.Ted Kremenek
2008-10-23Add an assertion to make our intention more clear.Zhongxing Xu
2008-10-23Let StoreManager do different cast on arrays. BasicStore will just keep it in...Zhongxing Xu
2008-10-22Adjust parameter order to more natural one.Zhongxing Xu
2008-10-22Exprs of function type is another special case for ImplicitCast.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-16 05:51:41 +0000