summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove derelict GRStmtNodeBuilder::LastNode.Zhongxing Xu2010-02-261-1/+1
* Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted d...Douglas Gregor2010-02-251-0/+40
* Revert patches r97122 r97127 r97129 r97131.Jakob Stoklund Olesen2010-02-251-40/+0
* Move the dead bindings removal logic from CallInliner to GRExprEngine::Proces...Zhongxing Xu2010-02-251-1/+15
* Call inliner improvements:Zhongxing Xu2010-02-251-0/+26
* Add MacOSXAPIChecker, a meta checker to include various precondition checks f...Ted Kremenek2010-02-251-0/+1
* Add UnixAPIChecker, a meta checker to include various precondition checks for...Ted Kremenek2010-02-251-0/+1
* Add simpler checker to check if variables captured by a block are uninitialized.Ted Kremenek2010-02-161-0/+1
* Convert GRExprEngine's handling of ObjCMessageExprs to use a worklistTed Kremenek2010-02-151-202/+208
* Revert 95541.Ted Kremenek2010-02-081-48/+46
* Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu2010-02-081-46/+48
* Cast evaluation no longer touch GRState.Zhongxing Xu2010-02-041-10/+7
* static analyzer: handle casts of a function to a function pointer withTed Kremenek2010-02-041-0/+1
* Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not addTed Kremenek2010-02-021-0/+2
* Use getTypeAlignInChars() for alignment in VisitSizeOfAlignOfExpr().Ken Dyck2010-01-271-1/+1
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+3325
OpenPOWER on IntegriCloud