summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Refactored BugReporter to refer to EndNode as ErrorNode. We currently make th...Tom Care2010-09-161-1/+1
* Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu2010-09-161-2/+2
* Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t...Tom Care2010-09-141-1/+1
* Serialization support for CXXNoexceptExpr.Sebastian Redl2010-09-101-0/+1
* Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex...Ted Kremenek2010-09-101-0/+1
* Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit ...Ted Kremenek2010-09-101-1/+21
* Remove unused variable.Benjamin Kramer2010-09-091-1/+0
* Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek2010-09-091-12/+8
* Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consi...Ted Kremenek2010-09-091-3/+18
* Fix warnings caused by new CXXUuidofExprClass enumerator.Francois Pichet2010-09-081-0/+1
* Eliminate CXXBindReferenceExpr, which was used in a ton ofDouglas Gregor2010-09-021-1/+0
* update comments.Zhongxing Xu2010-09-021-1/+3
* For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE...Ted Kremenek2010-09-021-16/+21
* Revert my user-defined literal commits - r1124{58,60,67} pendingAlexis Hunt2010-08-301-1/+0
* Implement C++0x user-defined string literals.Alexis Hunt2010-08-291-0/+1
* Fix horrible GRExprEngine bug where switch statements with no 'case:' stateme...Ted Kremenek2010-08-261-2/+4
* Remove redundant cast<...>.Ted Kremenek2010-08-261-1/+1
* GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall2010-08-251-66/+66
* Detabify.Eli Friedman2010-08-221-2/+2
* Add a callback for when region changes occur. Still somewhat of a work-in-pro...Jordy Rose2010-08-141-0/+69
* Add a new metadata symbol type for checkers to use. Metadata symbols must be ...Jordy Rose2010-08-141-7/+15
* Zap unused UnaryOperator::OffsetOf.Eli Friedman2010-08-131-16/+0
* Actually use reduced set of checkers in EvalAssume.Jordy Rose2010-08-121-2/+1
* MemRegion can refer to ASTContext without external help.Zhongxing Xu2010-08-111-2/+2
* Allow reference binding of a reference of Objective-C object type toDouglas Gregor2010-08-071-1/+2
* Removed IdempotentOperationChecker from default analysis and returned back to...Tom Care2010-08-061-1/+0
* If all nodes are sunk, bail out early. This make the later check for checkers...Zhongxing Xu2010-08-061-1/+4
* Revert r110317, and add a comment why the assertion is not an invariant.Ted Kremenek2010-08-051-4/+4
* Turn the predicate into an assertion. When could the unequal case happen?Zhongxing Xu2010-08-051-1/+3
* Change the checker callback cache in GRExprEngine to be more compact (and IMH...Jordy Rose2010-08-041-25/+64
* Makes GRState::makeWithStore private, to encourage clients to make store chan...Jordy Rose2010-08-031-2/+1
* Changed GRExprEngine to pass down a reference to itself when checkers are doi...Tom Care2010-08-031-1/+1
* Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, an...Ted Kremenek2010-07-291-0/+3
* Remove extraneous guards around the call to getConjuredSymbolVal(). These ch...Ted Kremenek2010-07-291-6/+4
* Delete unnecessary const_cast.Zhongxing Xu2010-07-231-1/+1
* AnalysisContext is not const.Zhongxing Xu2010-07-231-1/+1
* Constify all references to Stmt* and CFGBlock* in libChecker.Zhongxing Xu2010-07-201-107/+115
* Constify.Zhongxing Xu2010-07-201-8/+9
* Reapply r108617.Zhongxing Xu2010-07-191-13/+26
* Revert r108617, it broke the build.Benjamin Kramer2010-07-171-26/+13
* Prepare the analyzer for the callee in another translation unit:Zhongxing Xu2010-07-171-13/+26
* Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by ...Ted Kremenek2010-07-171-2/+1
* Improved false positive rate for the idempotent operations checker and moved ...Tom Care2010-07-161-0/+1
* Introduce a new cast kind for an "lvalue bitcast", which handlesDouglas Gregor2010-07-131-0/+1
* Reinstate the fix for PR7556. A silly use of isTrivial() wasDouglas Gregor2010-07-081-2/+2
* Revert r107828 and r107827, the fix for PR7556, which seems to beDouglas Gregor2010-07-071-2/+2
* Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect itsDouglas Gregor2010-07-071-2/+2
* Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of...Argyrios Kyrtzidis2010-07-071-1/+1
* Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still un...Jordy Rose2010-07-051-3/+32
* Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose2010-07-011-3/+3
OpenPOWER on IntegriCloud