summaryrefslogtreecommitdiff
path: root/test/Analysis/additive-folding.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov2018-08-291-1/+1
* [analyzer] Simplify values in binary operations a bit more aggressively.Artem Dergachev2017-04-131-0/+9
* 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] Drop explicit mention of range constraint solverDominic Chen2016-12-011-1/+1
* [analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose2013-03-231-0/+12
* Improve -Wtautological-constant-out-of-range-compare by taking into accountRichard Trieu2012-11-141-4/+4
* Improvements to my patch in r164143 perFariborz Jahanian2012-09-201-4/+4
* c: warn when an integer value comparison with anFariborz Jahanian2012-09-181-3/+3
* Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek2012-08-221-1/+0
* [analyzer] Fix test for PR12206, which was failing on i386.Jordy Rose2012-05-161-58/+0
* [analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose2012-05-161-243/+81
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-0/+146
* [analyzer] When promoting constant integers in a comparison, use the larger w...Jordy Rose2012-05-031-0/+28
* [analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose2012-05-031-0/+242