summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/CFG.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* [analyzer] Always include destructors in the analysis CFG.Jordan Rose2012-09-051-3/+5
* Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch.Ted Kremenek2012-08-241-0/+24
* [analyzer] Support C++ default arguments if they are literal values.Jordan Rose2012-08-231-0/+8
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-5/+5
* Final piece of core issue 1330: delay computing the exception specification ofRichard Smith2012-07-271-1/+1
* When a && or || appears as the condition of a ?:, perform appropriateRichard Smith2012-07-241-10/+13
* Add a reverse iterator to DeclStmt, and use it when building a CFG.Jordan Rose2012-07-201-5/+4
* Teach CFG construction about destructors resulting from references to array t...Ted Kremenek2012-07-181-5/+4
* Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek2012-07-141-150/+232
* Hoist CFG builder logic for '&&' and '||' into helper method. No funcationli...Ted Kremenek2012-07-141-40/+45
* Remove unused method declaration.Ted Kremenek2012-07-141-1/+0
* Sort prototypes. No functionality change.Ted Kremenek2012-07-141-19/+18
* Drop the ASTContext.h include from Stmt.h and fix up transitive users.Benjamin Kramer2012-07-041-0/+1
* Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie2012-06-061-1/+1
* Zap the /Za compiler switch from MSVC projects, the option is considered harm...Francois Pichet2012-06-061-2/+2
* Add -Wimplicit-fallthrough warning flag, which warns on fallthrough betweenRichard Smith2012-05-031-3/+0
* Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie2012-04-301-1/+1
* Implement DR1330 in C++11 mode, to support libstdc++4.7 which uses it.Richard Smith2012-04-171-1/+2
* Add an AttributedStmt type to represent a statement with C++11 attributesRichard Smith2012-04-141-1/+5
* Include lambda capture init expressions in CFG.Ted Kremenek2012-04-121-1/+17
* Fix CFGBuilder to not include the body of a LambdaExpr in the CFG of the encl...Ted Kremenek2012-04-121-3/+5
OpenPOWER on IntegriCloud