Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 |