aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRExprEngine.cpp
AgeCommit message (Expand)Author
2010-10-20Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su...Ted Kremenek
2010-10-14Eliminate usage of ObjCSuperExpr used forFariborz Jahanian
2010-10-14Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II.Zhongxing Xu
2010-09-23Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX...Ted Kremenek
2010-09-16Refactored BugReporter to refer to EndNode as ErrorNode. We currently make th...Tom Care
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-09-14Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t...Tom Care
2010-09-10Serialization support for CXXNoexceptExpr.Sebastian Redl
2010-09-10Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex...Ted Kremenek
2010-09-10Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit ...Ted Kremenek
2010-09-09Remove unused variable.Benjamin Kramer
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek
2010-09-09Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consi...Ted Kremenek
2010-09-08Fix warnings caused by new CXXUuidofExprClass enumerator.Francois Pichet
2010-09-02Eliminate CXXBindReferenceExpr, which was used in a ton ofDouglas Gregor
2010-09-02update comments.Zhongxing Xu
2010-09-02For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE...Ted Kremenek
2010-08-30Revert my user-defined literal commits - r1124{58,60,67} pendingSean Hunt
2010-08-29Implement C++0x user-defined string literals.Sean Hunt
2010-08-26Fix horrible GRExprEngine bug where switch statements with no 'case:' stateme...Ted Kremenek
2010-08-26Remove redundant cast<...>.Ted Kremenek
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall
2010-08-22Detabify.Eli Friedman
2010-08-14Add a callback for when region changes occur. Still somewhat of a work-in-pro...Jordy Rose
2010-08-14Add a new metadata symbol type for checkers to use. Metadata symbols must be ...Jordy Rose
2010-08-13Zap unused UnaryOperator::OffsetOf.Eli Friedman
2010-08-12Actually use reduced set of checkers in EvalAssume.Jordy Rose
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-08-07Allow reference binding of a reference of Objective-C object type toDouglas Gregor
2010-08-06Removed IdempotentOperationChecker from default analysis and returned back to...Tom Care
2010-08-06If all nodes are sunk, bail out early. This make the later check for checkers...Zhongxing Xu
2010-08-05Revert r110317, and add a comment why the assertion is not an invariant.Ted Kremenek
2010-08-05Turn the predicate into an assertion. When could the unequal case happen?Zhongxing Xu
2010-08-04Change the checker callback cache in GRExprEngine to be more compact (and IMH...Jordy Rose
2010-08-03Makes GRState::makeWithStore private, to encourage clients to make store chan...Jordy Rose
2010-08-03Changed GRExprEngine to pass down a reference to itself when checkers are doi...Tom Care
2010-07-29Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, an...Ted Kremenek
2010-07-29Remove extraneous guards around the call to getConjuredSymbolVal(). These ch...Ted Kremenek
2010-07-23Delete unnecessary const_cast.Zhongxing Xu
2010-07-23AnalysisContext is not const.Zhongxing Xu
2010-07-20Constify all references to Stmt* and CFGBlock* in libChecker.Zhongxing Xu
2010-07-20Constify.Zhongxing Xu
2010-07-19Reapply r108617.Zhongxing Xu
2010-07-17Revert r108617, it broke the build.Benjamin Kramer
2010-07-17Prepare the analyzer for the callee in another translation unit:Zhongxing Xu
2010-07-17Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by ...Ted Kremenek
2010-07-16Improved false positive rate for the idempotent operations checker and moved ...Tom Care
2010-07-13Introduce a new cast kind for an "lvalue bitcast", which handlesDouglas Gregor
2010-07-08Reinstate the fix for PR7556. A silly use of isTrivial() wasDouglas Gregor
2010-07-07Revert r107828 and r107827, the fix for PR7556, which seems to beDouglas Gregor