summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/conditional-path-notes.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] [NFC] Remove unused Extensive diagnostic setting,George Karpenkov2018-06-121-103/+137
* [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyz...Adam Balogh2018-04-111-11/+75
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-76/+12
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-12/+76
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-2/+2
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-2/+2
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-2/+2
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-2/+2
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-2/+2
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-2/+2
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-2/+2
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-2/+2
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-2/+2
* [analyzer] Improve "Assuming..." diagnostic pieces for logical operators.Artem Dergachev2016-10-051-68/+64
* [analyzer] Add "Assuming..." diagnostic pieces for unsupported conditions.Artem Dergachev2016-10-051-25/+89
* [analyzer] Bug identificationGabor Horvath2015-10-221-9/+27
* [Static Analyzer] The name of the checker that reports a bug is addedGabor Horvath2015-02-091-0/+9
* [analyzer] Don't emit an "Assuming x is <OP> y" if it's not a comparison op.Jordan Rose2013-10-261-0/+1582
OpenPOWER on IntegriCloud