Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix MSVC compiler error: "initialization of 'VD' is skipped by 'case' label" | Argyrios Kyrtzidis | 2008-04-17 | 1 | -1/+2 |
* | Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a ... | Ted Kremenek | 2008-04-16 | 1 | -1/+1 |
* | Simplify some code. | Ted Kremenek | 2008-04-16 | 1 | -31/+28 |
* | Change "VisitBlockVarDecl" to "VisitVarDecl". UninitializedValues now works | Ted Kremenek | 2008-04-15 | 1 | -1/+1 |
* | Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVar... | Steve Naroff | 2008-04-15 | 1 | -14/+21 |
* | Fix bug in terminator processing for uninitialized-values: simply ignore the ... | Ted Kremenek | 2008-04-15 | 1 | -10/+9 |
* | Added initial support into the flow-sensitive dataflow solver to visit the Bl... | Ted Kremenek | 2008-04-15 | 1 | -0/+2 |
* | Changed merge operation for uninitialized values analysis to "intersect" (pre... | Ted Kremenek | 2008-03-22 | 1 | -1/+1 |
* | Make a major restructuring of the clang tree: introduce a top-level | Chris Lattner | 2008-03-15 | 1 | -0/+277 |