summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* ExplodedGraph never uses ASTContext, remove it.Zhongxing Xu2010-07-011-3/+3
* Correctly implement the CheckerVisit optimization introduced in r106884, but ...Ted Kremenek2010-06-301-1/+1
* Allow '__extension__' to be analyzed in a lvalue context.Ted Kremenek2010-06-261-2/+6
* Relax assertion since non-pod C++ classes are not aggregates, but still can a...Ted Kremenek2010-06-251-4/+9
* Add "checker caching" to GRExprEngine::CheckerVisit to progressively buildTed Kremenek2010-06-251-3/+51
* Add 'VisitEndAnalysis' callback to Checker class. This callback is called by...Ted Kremenek2010-06-231-0/+7
* Don't assert on C++ casts that are currently not handled by the static analyzer.Ted Kremenek2010-06-221-6/+24
* Register CallAndMessageChecker before AttrNonNullChecker. Then we can assumeZhongxing Xu2010-06-161-1/+3
* Merge StackAddrLeakChecker and ReturnStackAddressChecker.Zhongxing Xu2010-06-091-1/+1
* Add comments.Zhongxing Xu2010-06-031-1/+2
* Add option '-analyzer-max-loop', which specifies the maximum Zhongxing Xu2010-05-181-2/+1
* Substantially alter the design of the Objective C type AST by introducingJohn McCall2010-05-151-2/+2
* Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe!Douglas Gregor2010-05-111-1/+1
* Turn -analyzer-inline-call on for C functions. This also fixed a bug thatZhongxing Xu2010-05-061-0/+26
* Completely reimplement __builtin_offsetof, based on a patch by RobertoDouglas Gregor2010-04-281-9/+28
* Introduce Type::isStructureOrClassType(), which does the obviousDouglas Gregor2010-04-261-3/+1
* CXXNamedCastExpr is actually an abstract expression.Zhongxing Xu2010-04-211-1/+0
* Add initial support for C++ delete expr.Zhongxing Xu2010-04-211-1/+5
* Overhaul the AST representation of Objective-C message sendDouglas Gregor2010-04-211-4/+4
* Use GetState() to get the possible cleaned state.Zhongxing Xu2010-04-201-3/+3
* Move all C++ expression evaluation logic into its own file.Zhongxing Xu2010-04-191-234/+0
* Analyzer: add support for CXXNewExpr.Zhongxing Xu2010-04-191-1/+33
* Fix PR 6844, a regression caused by the introduction of llvm_unreachable for ...Ted Kremenek2010-04-151-25/+61
* Add support for CXXBoolLiteralExpr.Zhongxing Xu2010-04-141-1/+2
* Make all cases that we don't handle explicit. Zhongxing Xu2010-04-131-1/+12
* Dispatch all C++ cast expr to VisitCast().Zhongxing Xu2010-04-131-7/+6
* Initial support for visiting CXXMemberCallExpr.Zhongxing Xu2010-04-011-5/+88
* Improve C++ constructor handling.Zhongxing Xu2010-04-011-2/+4
* Introduce a new kind of derived-to-base cast which bypasses the need forJohn McCall2010-03-301-0/+1
* Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6...Ted Kremenek2010-03-301-0/+5
* Checker: random include cleanup.Benjamin Kramer2010-03-271-0/+2
* Add methods to remove a GDM entry.Zhongxing Xu2010-03-251-1/+1
* Bind the constructed object value to CXXConstructExpr.Zhongxing Xu2010-03-231-4/+22
* Clear the return expr GDM after using it.Zhongxing Xu2010-03-231-1/+4
* Add a AggExprVisitor class. It contains lots of boilerZhongxing Xu2010-03-231-0/+4
* Since we now may have basicblocks with the same block is in different function,Zhongxing Xu2010-03-231-2/+3
* Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu2010-03-171-1/+3
* Add VisitCXXContructExpr logic to the analyzer. This still has not fully workedZhongxing Xu2010-03-161-2/+80
* Remove unused headers.Duncan Sands2010-03-081-1/+0
* Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu2010-03-051-4/+4
* When profiling Environment, also profile with AnalysisContext*, bacauseZhongxing Xu2010-03-041-0/+1
* Don't conjure a symbol for DeclStmts when the variable is a C++ reference.Ted Kremenek2010-03-021-5/+5
* Use a GDM to record the returned expression in the state when VisitReturnStmt.Zhongxing Xu2010-02-261-10/+28
OpenPOWER on IntegriCloud