| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a ... | Ted Kremenek | 2008-04-16 | 1 | -48/+5 |
| * | LiveVariables now updates the liveness state of block-level expressions that | Ted Kremenek | 2008-04-16 | 1 | -12/+49 |
| * | Fix bug in terminator processing for uninitialized-values: simply ignore the ... | Ted Kremenek | 2008-04-15 | 1 | -7/+64 |
| * | Added initial support into the flow-sensitive dataflow solver to visit the Bl... | Ted Kremenek | 2008-04-15 | 1 | -1/+19 |
| * | ++/-- makes a variable live since it is used; thus the liveness state is | Ted Kremenek | 2008-04-15 | 1 | -3/+3 |
| * | Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variable | Ted Kremenek | 2008-04-15 | 1 | -6/+5 |
| * | LiveVariables analysis now uses intersect for the merge of block-level expres... | Ted Kremenek | 2008-03-20 | 1 | -2/+11 |
| * | Make a major restructuring of the clang tree: introduce a top-level | Chris Lattner | 2008-03-15 | 1 | -0/+246 |

