summaryrefslogtreecommitdiff
path: root/test/Analysis/bitwise-ops.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Fix constraint being dropped when analyzing a program without tain...Mikhail R. Gadelha2018-07-161-3/+2
* [analyzer] Model and check unrepresentable left shiftsGabor Horvath2018-01-221-0/+6
* [analyzer] Left shifting a negative value is undefinedGabor Horvath2017-10-301-0/+7
* [Analyzer] Clarify error messages for undefined resultDaniel Marjamaki2017-10-111-3/+17
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-4/+5
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-5/+4
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-1/+1
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-1/+1
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-1/+1
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-1/+1
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-1/+1
* [analyzer] Shitfing a constant value by its bit width is undefined.Jordan Rose2014-01-161-1/+19
* [analyzer] Add tests for symbolic expression liveness.Jordan Rose2012-09-251-0/+14