summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Handle CFGAutomaticObjDtor. Zhongxing Xu2010-11-201-0/+13
* Added method for handling CXXOperatorCallExpr differently from CallExpr if CX...Marcin Swiderski2010-11-181-2/+7
* Add skeleton for handling various cfg dtors.Zhongxing Xu2010-11-171-0/+32
* Handle member initializer in C++ ctor. Zhongxing Xu2010-11-161-3/+37
* Kill CK_Unknown and flesh out the documentation for the existing CastKinds.John McCall2010-11-161-1/+0
* Add a new expression kind, OpaqueValueExpr, which is useful forJohn McCall2010-11-151-0/+1
* Assorted work leading towards the elimination of CK_Unknown.John McCall2010-11-151-0/+4
* Add skeleton for handling other kinds of CFGElements.Zhongxing Xu2010-11-151-3/+30
* Add a few more complex-related cast kinds that arise due to arbitraryJohn McCall2010-11-141-1/+6
* Introduce five new cast kinds for various conversions into andJohn McCall2010-11-131-0/+5
* Introduce a null-to-pointer implicit cast kind.John McCall2010-11-131-0/+1
* Now initializer of C++ record type is visited as block-level expr. Zhongxing Xu2010-11-011-15/+9
* Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su...Ted Kremenek2010-10-201-85/+0
* Eliminate usage of ObjCSuperExpr used forFariborz Jahanian2010-10-141-1/+0
* Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II.Zhongxing Xu2010-10-141-1/+8
* Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX...Ted Kremenek2010-09-231-35/+2
* 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
OpenPOWER on IntegriCloud