Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rework CFG edges to encode potentially unreachable edges, instead of just mak... | Ted Kremenek | 2014-02-27 | 1 | -1/+2 |
* | Use pop_back_val() instead of both back() and pop_back(). | Robert Wilhelm | 2013-08-23 | 1 | -5/+4 |
* | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner | 2011-07-23 | 1 | -1/+1 |
* | Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. | Ted Kremenek | 2011-03-19 | 1 | -3/+3 |
* | Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and in... | Ted Kremenek | 2011-02-23 | 1 | -0/+76 |