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 |