summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/bool-assignment.c
Commit message (Expand)AuthorAgeFilesLines
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-0/+4
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-4/+0
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-3/+6
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-6/+3
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-3/+6
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-6/+3
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-3/+6
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-6/+3
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-3/+6
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-6/+3
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-3/+6
* [analyzer] Fix an off-by-one in evalIntegralCast()Artem Dergachev2016-01-181-0/+9
* Re-apply "[analyzer] Model casts to bool differently from other numbers."Jordan Rose2013-05-011-5/+11
* Revert "[analyzer] Model casts to bool differently from other numbers."Jordan Rose2013-04-291-11/+5
* [analyzer] Model casts to bool differently from other numbers.Jordan Rose2013-04-261-5/+11
* [analyzer] Consolidate BoolAssignmentChecker tests by using two RUN lines.Jordan Rose2013-04-261-0/+88
OpenPOWER on IntegriCloud