summaryrefslogtreecommitdiff
path: root/test/Analysis/additive-folding.cpp
AgeCommit message (Expand)Author
2017-04-13[analyzer] Simplify values in binary operations a bit more aggressively.Artem Dergachev
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-12-01[analyzer] Drop explicit mention of range constraint solverDominic Chen
2013-03-23[analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose
2012-11-14Improve -Wtautological-constant-out-of-range-compare by taking into accountRichard Trieu
2012-09-20Improvements to my patch in r164143 perFariborz Jahanian
2012-09-18c: warn when an integer value comparison with anFariborz Jahanian
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek
2012-05-16[analyzer] Fix test for PR12206, which was failing on i386.Jordy Rose
2012-05-16[analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose
2012-05-08[analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose
2012-05-03[analyzer] When promoting constant integers in a comparison, use the larger w...Jordy Rose
2012-05-03[analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose