summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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