summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/CFG.cpp
Commit message (Expand)AuthorAgeFilesLines
* Enable the user to control whether CXXConstructExpr will be added as a Zhongxing Xu2011-12-281-1/+1
* Colorize and condense CFG pretty-printing.Ted Kremenek2011-12-221-47/+90
* Improve CFG pretty-printing for CXXConstructExprs.Ted Kremenek2011-12-211-0/+3
* Improve CFG pretty-printing of CastExprs.Ted Kremenek2011-12-211-1/+8
* [analyzer] Rely on LLVM Dominators in Clang dominator computation.Anna Zaks2011-12-051-1/+1
* Teach the CFG builder how to properly destroy temporaries whoDouglas Gregor2011-11-151-8/+57
* Change the AST representation of operations on Objective-CJohn McCall2011-11-061-0/+29
* Per discussion with John McCall, don't add OpaqueValueExprs to the CFG.Ted Kremenek2011-11-051-1/+4
* Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith2011-10-291-1/+1
* Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith2011-10-141-21/+8
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-2/+2
* Add a bit to the CFGBlock to track when it contains a no-returnChandler Carruth2011-09-131-0/+1
* Consolidate the logic for building a no-return CFG block into a singleChandler Carruth2011-09-131-23/+21
* Enhance the CFG construction to detect no-return destructors forChandler Carruth2011-09-131-28/+61
* Extend the Stmt AST to make it easier to look through label, default,Chandler Carruth2011-09-101-6/+2
* CFG: record set of C++ 'try' dispatch blocks, which could be of interest to v...Ted Kremenek2011-08-231-2/+2
* Constify the result of CFGStmt::getStmt().Ted Kremenek2011-08-231-12/+12
* Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek2011-08-231-9/+0
* Fix else style. No functionality change intended.Chad Rosier2011-08-171-2/+1
* Fix a handful of dead stores found by Clang's static analyzer. There's a bun...Ted Kremenek2011-08-171-2/+2
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-160/+160
* Revert "Fix crash in CFGBuilder involving implicit destructor calls and gotos...Ted Kremenek2011-08-121-8/+6
* Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping...Ted Kremenek2011-08-121-6/+8
* [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av...Ted Kremenek2011-08-061-0/+9
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-11/+11
* Add hooks into the CFG builder to force that specific expressions are always ...Ted Kremenek2011-07-191-5/+7
* Introduce a new AST node describing reference binding to temporaries.Douglas Gregor2011-06-211-1/+5
* [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose2011-06-101-10/+15
* Add explicit CFG support for ignoring static_asserts.Ted Kremenek2011-05-241-1/+9
* Refactoring of constant expression evaluatorPeter Collingbourne2011-05-131-1/+1
* Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy,John McCall2011-05-111-15/+12
* Elide __label__ declarations from the CFG. This resolves a crash in CFGRecSt...Ted Kremenek2011-05-101-0/+5
* Remove unused method CFGBlock::hasBinaryBranchTerminator().Ted Kremenek2011-04-271-26/+0
* Fix PR9741. The implicit declarations created for range-based for loops weren...Richard Smith2011-04-181-2/+2
* fix a bunch of comment typos found by codespell. Patch byChris Lattner2011-04-151-2/+2
* Add support for C++0x's range-based for loops, as specified by the C++11 draf...Richard Smith2011-04-141-0/+120
* Return the correct lastly populated block from CFGBuilder::VisitUnaryExprOrTy...Ted Kremenek2011-04-141-2/+4
* Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numero...Ted Kremenek2011-04-041-6/+6
* -Wuninitialized: don't warn about uninitialized variables in unreachable code.Ted Kremenek2011-04-041-2/+2
* Fix CFG-construction bug when run from AnalysisBasedWarnings::IssueWarnings()...Ted Kremenek2011-03-231-9/+23
* Teach CFGBuilder that the 'default' branch of a switch statement is dead if a...Ted Kremenek2011-03-161-2/+4
* Instead of storing an ASTContext* in FunctionProtoTypes with computed noexcep...Sebastian Redl2011-03-131-3/+3
* Fix CFG assertion failure reported in PR 9467. This was due to recent change...Ted Kremenek2011-03-131-8/+11
* Propagate the new exception information to FunctionProtoType.Sebastian Redl2011-03-121-1/+1
* Add support for the OpenCL vec_step operator, by generalising andPeter Collingbourne2011-03-111-5/+7
* When doing reachability analysis for warnings issued under DiagRuntimeBehavio...Ted Kremenek2011-03-101-4/+32
* Require AddStmtChoice::alwaysAdd() to take a CFGBuilder& and Stmt*. Prep for...Ted Kremenek2011-03-101-15/+22
* Remove unused 'AddStmtChoice' argument to CFGBuilder::appendStmt().Ted Kremenek2011-03-101-25/+24
* Rework interaction between AnalysisContext and CFG::BuildOptions to keep a Bu...Ted Kremenek2011-03-101-17/+13
* Fix null dereference in CFGBlock::FilterEdge that was reported in PR 9412.Ted Kremenek2011-03-071-5/+5
OpenPOWER on IntegriCloud