summaryrefslogtreecommitdiff
path: root/test/Analysis/range_casts.c
AgeCommit message (Expand)Author
2017-07-12Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen
2017-07-12[analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2016-01-12[analyzer] Fix RangeConstraintManager's pinning of single value ranges.Pierre Gousseau
2016-01-12[analyzer] Evaluate integral casts as cast symbols if truncations are detected.Pierre Gousseau