aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
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
2008-10-21When conjuring symbols for compound assignments, use the promoted type to det...Ted Kremenek
2008-10-21Preliminary support for function overloadingDouglas Gregor
2008-10-21Localize the special processing of array variable inside Zhongxing Xu
2008-10-20Further improve path-sensitivity with divide-by-zero checking by assuming tha...Ted Kremenek
2008-10-20Used conjured symbols to recover path-sensitivity when the result of a compou...Ted Kremenek
2008-10-18Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash...Ted Kremenek
2008-10-18Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return ag...Ted Kremenek
2008-10-18Function calls and ObjC message expressions can be used in a lvalue context i...Ted Kremenek
2008-10-18Use "VisitLValue" when processing the base for "x.f" field accesses, and "Vis...Ted Kremenek
2008-10-17When conjuring symbols to recover path-sensitivity, don't conjure symbols tha...Ted Kremenek
2008-10-17"Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only ...Ted Kremenek
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-17Get array's lvalue through standard interface.Zhongxing Xu
2008-10-17Return the corresponding MemRegionVal for both rvalue and lvalue of array ofZhongxing Xu
2008-10-17Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and...Ted Kremenek
2008-10-17Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek
2008-10-17Add transfer function support for ObjCIvarRefExpr.Ted Kremenek
2008-10-16This is the first step to build a better evaluation model for GRExprEngine. AZhongxing Xu
2008-10-09Check some cases for previous patch. Make the code more robust.Zhongxing Xu
2008-10-07Added a function call case that generates sink nodes.Zhongxing Xu
2008-10-06Don't use DeclStmt::getDecl(); this will eventually disappear. Just fetch th...Ted Kremenek
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-03-01 14:41:13 +0000