- 11e7218 Migrated LiveVariables and UninitializedVariables to now use the by Ted Kremenek · 17 years ago
- 63f5887 CFG objects now internally store a (lazily created) map from block-level by Ted Kremenek · 17 years ago
- d48ade6 Removed "hasImplicitControlFlow" from class CFG, and moved it to class Stmt by Ted Kremenek · 17 years ago
- 271f1a6 Fix some use of uninit variables issues, reported by Anton. by Chris Lattner · 17 years ago
- 322f58d Fixed two bugs in CFG construction: by Ted Kremenek · 17 years ago
- 94b3316 When building CFGs we now (unconditionally) add an empty CFGBlock to the CFG by Ted Kremenek · 17 years ago
- 3860c11 Fixed unterminated string issue. by Hartmut Kaiser · 17 years ago
- 0012351 make var in anon namespace static. Use \n instead of std::endl. by Chris Lattner · 17 years ago
- f874c13 fix warning. by Chris Lattner · 17 years ago
- 6bfce24 Fixed a problem VC++ revealed in release mode. Please verify. by Hartmut Kaiser · 17 years ago
- bd250b4 Fixed two problems VC++ revealed in release mode. Please verify. by Hartmut Kaiser · 17 years ago
- 155383b Added static method "CFG::hasImplicitControlFlow". by Ted Kremenek · 17 years ago
- f50ec10 Fixed bug where ternary expressions and GCC-style conditional expressions by Ted Kremenek · 17 years ago
- 9438252 Moved tracking of CFG block IDs into the CFG class. by Ted Kremenek · 17 years ago
- 60266e8 Fixed missing '(' and ')' characters in (CFG) pretty-printing of by Ted Kremenek · 17 years ago
- aeddbf6 Added better pretty printing in CFGs for __builtin_choose_expr by Ted Kremenek · 17 years ago
- 1c29bba Further cleanups in CFG printing for comma expressions, statement expressions, and indirect gotos. by Ted Kremenek · 17 years ago
- 805e9a8 Cleanups for printing the terminators of CFGBlocks for "?", "||", and "&&" operators. by Ted Kremenek · 17 years ago
- 42a509f Added "PrinterHelper" interface (include/AST/PrinterHelper) that can by Ted Kremenek · 17 years ago
- 49a436d Added support for __builtin_choose_expr (ChooseExpr) in CFGs. by Ted Kremenek · 17 years ago
- 535bb20 Minor cleanups to pretty-printing for loops in CFGs. by Ted Kremenek · 17 years ago
- 29ccaa1 Fixed a bug in constructing CFG blocks for case statement fall-through by Ted Kremenek · 17 years ago
- af603f7 Fixed bug in CFG construction where we failed to handle loop bodies with by Ted Kremenek · 17 years ago
- 16e4dc8 Fixed bug in CFG construction involving use of labels and "empty" by Ted Kremenek · 17 years ago
- b6f7b72 Fixed bug where the CFG would fail to build when an 'if' statement had by Ted Kremenek · 17 years ago
- 9cffe73 Added an (optional) explicit "Label" statement to CFGBlock. If a by Ted Kremenek · 17 years ago
- 7dba860 Added GraphTraits to source-level CFGs (CFG and CFGBlock) to allow by Ted Kremenek · 17 years ago
- 19bb356 Added support for indirect-gotos (GCC extension) in source-level CFGs. by Ted Kremenek · 17 years ago
- 15c27a8 Added support for GCC-style statement expressions in source-level CFGs. by Ted Kremenek · 17 years ago
- b49e1aa Added support for comma expressions and DeclStmts which may have by Ted Kremenek · 17 years ago
- 7926f7c Removed special-casing in CFG construction for ParenExprs. by Ted Kremenek · 17 years ago
- 0b1d9b7 Added support for short-circuit '&&' and '||' operators in source-level CFGs. by Ted Kremenek · 17 years ago
- 9da2fb7 Implemented support for ternary "?" operators in source-level CFGs. by Ted Kremenek · 17 years ago
- 49af7cb Changes to CFGBuilder: by Ted Kremenek · 17 years ago
- d4fdee3 No functionality change. Moved visitor methods for CFGBuilder out-of-line by Ted Kremenek · 17 years ago
- befef2f moved CFGBuilder into an anonymous namespace by Ted Kremenek · 17 years ago
- b5c13b0 Added support for switch, default, and case statements in source-level CFGs. by Ted Kremenek · 17 years ago
- 989d52d For gotos, breaks, and continues where we cannot find a target successor by Ted Kremenek · 17 years ago
- f752fcf Added support for do..while loops in CFG construction. by Ted Kremenek · 17 years ago
- 026473c Renamed "CFG::BuildCFG" to "CFG::buildCFG" to have more consistent capitalization. by Ted Kremenek · 17 years ago
- 31dcd3c Fixed bugs in source-level CFG construction for "for" and "while" loops by Ted Kremenek · 17 years ago
- 8a29471 Added support for "break" statements in source-level ASTs. by Ted Kremenek · 17 years ago
- bf15b27 Added support for "continue" statements in source-level CFGs by Ted Kremenek · 17 years ago
- 2bac4ea Added preliminary support for while loops within source-level CFGs. by Ted Kremenek · 17 years ago
- e8ee26b Added CFG support for: for loops by Ted Kremenek · 17 years ago
- 4a2b8a1 Changed data structure recording the CFG blocks that need to be backpatched by Ted Kremenek · 17 years ago
- 0cebe3e Added CFG support for gotos and labels. by Ted Kremenek · 17 years ago
- c310e93 Converted CFGBuilder to use StmtVisitor instead of doing a switch by Ted Kremenek · 17 years ago
- fddd518 Added CFG infrastructure (CFG.cpp and CFG.h) for clang ASTs. by Ted Kremenek · 17 years ago