Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] NFC: Update test infrastructure to support multiple constraint man... | Dominic Chen | 2017-02-27 | 1 | -2/+2 |
* | [analyzer] Improve "Assuming..." diagnostic pieces for logical operators. | Artem Dergachev | 2016-10-05 | 1 | -68/+64 |
* | [analyzer] Add "Assuming..." diagnostic pieces for unsupported conditions. | Artem Dergachev | 2016-10-05 | 1 | -25/+89 |
* | [analyzer] Bug identification | Gabor Horvath | 2015-10-22 | 1 | -9/+27 |
* | [Static Analyzer] The name of the checker that reports a bug is added | Gabor Horvath | 2015-02-09 | 1 | -0/+9 |
* | [analyzer] Don't emit an "Assuming x is <OP> y" if it's not a comparison op. | Jordan Rose | 2013-10-26 | 1 | -0/+1582 |