aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFG.cpp
AgeCommit message (Expand)Author
2012-01-24More fixes/tests.David Blaikie
2012-01-24Support undefined dependent bases.David Blaikie
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
2012-01-11Add elidable CXXConstructExpr as block-level expr. It converts an lvalue to a...Zhongxing Xu
2011-12-28Enable the user to control whether CXXConstructExpr will be added as a Zhongxing Xu
2011-12-22Colorize and condense CFG pretty-printing.Ted Kremenek
2011-12-21Improve CFG pretty-printing for CXXConstructExprs.Ted Kremenek
2011-12-21Improve CFG pretty-printing of CastExprs.Ted Kremenek
2011-12-05[analyzer] Rely on LLVM Dominators in Clang dominator computation.Anna Zaks
2011-11-15Teach the CFG builder how to properly destroy temporaries whoDouglas Gregor
2011-11-06Change the AST representation of operations on Objective-CJohn McCall
2011-11-05Per discussion with John McCall, don't add OpaqueValueExprs to the CFG.Ted Kremenek
2011-10-29Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith
2011-10-14Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-09-13Add a bit to the CFGBlock to track when it contains a no-returnChandler Carruth
2011-09-13Consolidate the logic for building a no-return CFG block into a singleChandler Carruth
2011-09-13Enhance the CFG construction to detect no-return destructors forChandler Carruth
2011-09-10Extend the Stmt AST to make it easier to look through label, default,Chandler Carruth
2011-08-23CFG: record set of C++ 'try' dispatch blocks, which could be of interest to v...Ted Kremenek
2011-08-23Constify the result of CFGStmt::getStmt().Ted Kremenek
2011-08-23Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek
2011-08-17Fix else style. No functionality change intended.Chad Rosier
2011-08-17Fix a handful of dead stores found by Clang's static analyzer. There's a bun...Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12Revert "Fix crash in CFGBuilder involving implicit destructor calls and gotos...Ted Kremenek
2011-08-12Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping...Ted Kremenek
2011-08-06[analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-07-19Add hooks into the CFG builder to force that specific expressions are always ...Ted Kremenek
2011-06-21Introduce a new AST node describing reference binding to temporaries.Douglas Gregor
2011-06-10[analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose
2011-05-24Add explicit CFG support for ignoring static_asserts.Ted Kremenek
2011-05-13Refactoring of constant expression evaluatorPeter Collingbourne
2011-05-11Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy,John McCall
2011-05-10Elide __label__ declarations from the CFG. This resolves a crash in CFGRecSt...Ted Kremenek
2011-04-27Remove unused method CFGBlock::hasBinaryBranchTerminator().Ted Kremenek
2011-04-18Fix PR9741. The implicit declarations created for range-based for loops weren...Richard Smith
2011-04-15fix a bunch of comment typos found by codespell. Patch byChris Lattner
2011-04-14Add support for C++0x's range-based for loops, as specified by the C++11 draf...Richard Smith
2011-04-14Return the correct lastly populated block from CFGBuilder::VisitUnaryExprOrTy...Ted Kremenek
2011-04-04Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numero...Ted Kremenek
2011-04-04-Wuninitialized: don't warn about uninitialized variables in unreachable code.Ted Kremenek
2011-03-23Fix CFG-construction bug when run from AnalysisBasedWarnings::IssueWarnings()...Ted Kremenek
2011-03-16Teach CFGBuilder that the 'default' branch of a switch statement is dead if a...Ted Kremenek
2011-03-13Instead of storing an ASTContext* in FunctionProtoTypes with computed noexcep...Sebastian Redl
2011-03-13Fix CFG assertion failure reported in PR 9467. This was due to recent change...Ted Kremenek
2011-03-12Propagate the new exception information to FunctionProtoType.Sebastian Redl
2011-03-11Add support for the OpenCL vec_step operator, by generalising andPeter Collingbourne
2011-03-10When doing reachability analysis for warnings issued under DiagRuntimeBehavio...Ted Kremenek