aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFG.cpp
AgeCommit message (Expand)Author
2013-04-20C++1y: Allow aggregates to have default initializers.Richard Smith
2013-03-29[cfg] Always guard (when AddStaticInitBranches == true) DeclStmts for static ...Ted Kremenek
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-28Add CFG logic to create a conditional branch for modeling static initializers.Ted Kremenek
2013-03-27Add const in preparation for a simplify_type change in llvm.Rafael Espindola
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-05Add note why we used a switch.Ted Kremenek
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
2013-01-17Implement C++11 semantics for [[noreturn]] attribute. This required splittingRichard Smith
2013-01-07CFG.cpp: Fix wrapping logic when printing block preds/succs.Will Dietz
2012-12-01Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer
2012-11-13Fix bad CFG construction bug when handling C++ 'try' statements.Ted Kremenek
2012-10-12Fix potential null deference in CFG printer.Ted Kremenek
2012-10-12Remove dead store.Ted Kremenek
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-08-24Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch.Ted Kremenek
2012-08-23[analyzer] Support C++ default arguments if they are literal values.Jordan Rose
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-07-27Final piece of core issue 1330: delay computing the exception specification ofRichard Smith
2012-07-24When a && or || appears as the condition of a ?:, perform appropriateRichard Smith
2012-07-20Add a reverse iterator to DeclStmt, and use it when building a CFG.Jordan Rose
2012-07-18Teach CFG construction about destructors resulting from references to array t...Ted Kremenek
2012-07-14Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek
2012-07-14Hoist CFG builder logic for '&&' and '||' into helper method. No funcationli...Ted Kremenek
2012-07-14Remove unused method declaration.Ted Kremenek
2012-07-14Sort prototypes. No functionality change.Ted Kremenek
2012-07-04Drop the ASTContext.h include from Stmt.h and fix up transitive users.Benjamin Kramer
2012-06-06Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie
2012-06-06Zap the /Za compiler switch from MSVC projects, the option is considered harm...Francois Pichet
2012-05-03Add -Wimplicit-fallthrough warning flag, which warns on fallthrough betweenRichard Smith
2012-04-30Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie
2012-04-17Implement DR1330 in C++11 mode, to support libstdc++4.7 which uses it.Richard Smith
2012-04-14Add an AttributedStmt type to represent a statement with C++11 attributesRichard Smith
2012-04-12Include lambda capture init expressions in CFG.Ted Kremenek
2012-04-12Fix CFGBuilder to not include the body of a LambdaExpr in the CFG of the encl...Ted Kremenek
2012-03-25clang/lib/Analysis/CFG.cpp: Get rid of early insertion of placeholder to the ...NAKAMURA Takumi
2012-03-25clang/lib/Analysis/CFG.cpp: Fix memory leak since r153297.NAKAMURA Takumi
2012-03-23[CFG] Cache boolean evaluations of expressions to avoid multiple re-evaluationsArgyrios Kyrtzidis
2012-03-22Fix broken CFG when an initializer is a statement expression that starts with...Ted Kremenek
2012-03-19Fix crash when querying the CFG reported when using the thread safety analysisTed Kremenek
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2012-03-07AST representation for user-defined literals, plus just enough of semanticRichard Smith
2012-03-06Fix horrific CFG bug where '@autoreleasepool' would be put in a dangling bloc...Ted Kremenek
2012-03-01Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h.Argyrios Kyrtzidis
2012-02-27Move "clang/Analysis/Support/SaveAndRestore.h" to "llvm/ADT/SaveAndRestore.h"Argyrios Kyrtzidis
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-01-31[CFG] Removed unused local variable.Erik Verbruggen
2012-01-24Revert various template unreachability code I committed accidentally.David Blaikie