summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/CFG.cpp
Commit message (Expand)AuthorAgeFilesLines
* [C++11] Replacing DeclStmt iterators decl_begin() and decl_end() with iterato...Aaron Ballman2014-03-141-4/+2
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-141-1/+1
* [C++11] Replacing CXXRecordDecl iterators vbases_begin() and vbases_end() wit...Aaron Ballman2014-03-131-4/+3
* [C++11] Replacing CXXRecordDecl iterators bases_begin() and bases_end() with ...Aaron Ballman2014-03-131-5/+4
* [C++11] Replace OwningPtr include with <memory>.Ahmed Charles2014-03-091-1/+1
* [C++11] Replacing RecordDecl iterators field_begin() and field_end() with ite...Aaron Ballman2014-03-081-3/+2
* Fix CFG bug where the 'isTemporaryDtorsBranch' bit was silently lost for term...Ted Kremenek2014-03-081-2/+10
* [CFG] Record would-be successor for noreturn destructor.Ted Kremenek2014-03-081-2/+4
* Replace OwningPtr with std::unique_ptr.Ahmed Charles2014-03-071-1/+1
* Change OwningPtr::take() to OwningPtr::release().Ahmed Charles2014-03-071-1/+1
* [-Wunreachable-code] Correctly expand artificial reachability to pruned '&&' ...Ted Kremenek2014-03-071-6/+6
* Remove some unnecessary qualificationDavid Blaikie2014-03-041-2/+2
* [CFG] Tweak "?:" CFG construction to record the unreachable blocks.Ted Kremenek2014-03-041-4/+5
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-5/+4
* [CFG] record the original (now unreachable) block of 'case:' and 'default:' c...Ted Kremenek2014-02-271-10/+21
* [CFG] encode unreachable block information for would-have-been successors for...Ted Kremenek2014-02-271-1/+1
* [CFG] Encode unreachable block information for successors when visiting 'if' ...Ted Kremenek2014-02-271-3/+4
* Rework CFG edges to encode potentially unreachable edges, instead of just mak...Ted Kremenek2014-02-271-5/+46
* CFG: use Visit instead of VisitStmt to look through parens.Jordan Rose2014-01-141-3/+4
* [analyzer] Add a CFG node for the allocator call in a C++ 'new' expression.Jordan Rose2014-01-131-0/+29
* Add CFG tests for switch's involving "extended" enum.Ted Kremenek2013-12-111-1/+3
* The code using the StmtPrinterHelper object failed to account for a null obje...Aaron Ballman2013-11-181-44/+39
* CFG: Properly print delegating initializer CFG elements.Jordan Rose2013-10-221-0/+4
* Fix a crash introduced in r189828.Matt Beaumont-Gay2013-09-091-1/+1
* Avoid double edges when constructing CFGsPavel Labath2013-09-061-2/+5
* Add an implicit dtor CFG node just before C++ 'delete' expressions.Jordan Rose2013-09-031-0/+41
* [analyzer] Add very limited support for temporary destructorsPavel Labath2013-09-021-2/+3
* Omit arguments of __builtin_object_size from the CFG.Jordan Rose2013-08-191-1/+17
* Remove bogus VarDecl::extendsLifetimeOfTemporary function and inline it intoRichard Smith2013-06-271-2/+15
* [CFG] Set the “loop target” (back edge) for VisitObjCForCollectionStmt loopsAnna Zaks2013-06-221-4/+11
* [analyzer; new edges] Simplify edges in a C++11 for-range loop.Jordan Rose2013-06-061-0/+5
* Analysis: Add a CFG successor to a SwitchStmt if it is both empty and fully c...David Majnemer2013-06-041-2/+8
* CFG: In a DeclStmt, skip anything that's not a VarDecl.Jordan Rose2013-06-031-10/+2
* Remove unused, awkward CFGStmtVisitor and subclasses.Jordan Rose2013-05-151-115/+0
* Use only explicit bool conversion operatorDavid Blaikie2013-05-151-1/+1
* C++1y: Allow aggregates to have default initializers.Richard Smith2013-04-201-0/+5
* [cfg] Always guard (when AddStaticInitBranches == true) DeclStmts for static ...Ted Kremenek2013-03-291-15/+15
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-7/+7
* Add CFG logic to create a conditional branch for modeling static initializers.Ted Kremenek2013-03-281-1/+31
* Add const in preparation for a simplify_type change in llvm.Rafael Espindola2013-03-271-1/+1
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-19/+19
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-211-20/+20
* Add note why we used a switch.Ted Kremenek2013-02-051-0/+1
* Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek2013-02-051-19/+56
* Implement C++11 semantics for [[noreturn]] attribute. This required splittingRichard Smith2013-01-171-7/+5
* CFG.cpp: Fix wrapping logic when printing block preds/succs.Will Dietz2013-01-071-2/+2
* Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer2012-12-011-8/+8
* Fix bad CFG construction bug when handling C++ 'try' statements.Ted Kremenek2012-11-131-13/+14
* Fix potential null deference in CFG printer.Ted Kremenek2012-10-121-2/+2
* Remove dead store.Ted Kremenek2012-10-121-1/+1
OpenPOWER on IntegriCloud