summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/constant-folding.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov2018-08-291-1/+1
* [Analyzer][Z3] Test fixes for Z3 constraint managerVlad Tsyrklevich2018-06-061-0/+4
* [analyzer] assume bitwise arithmetic axiomsGeorge Karpenkov2017-11-091-0/+39
* 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] Convert many existing tests to use clang_analyzer_eval.Jordy Rose2012-05-161-45/+42
* [analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and ...Jordy Rose2012-05-061-0/+9
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-1/+1
* Emit a -Wnull-dereference warning for "*null" not just "*null = something". A...Argyrios Kyrtzidis2011-04-261-1/+1
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-1/+1
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-1/+1
* [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-1/+1
* [analyzer] Remove '-analyzer-experimental-checks' flag.Argyrios Kyrtzidis2011-02-281-1/+1
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-1/+1
* [analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis2011-02-151-1/+1
* Do lvalue-to-rvalue conversions on the LHS of a shift operator.John McCall2010-12-161-1/+0
* Start migration of static analyzer to using theTed Kremenek2010-12-161-0/+1
* Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care2010-08-181-5/+5
* Added some false positive checking to UnreachableCodeCheckerTom Care2010-07-271-37/+37
* Finesse 'idempotent operations' analyzer issues to include the opcode of the ...Ted Kremenek2010-07-271-5/+5
* Improved false positive rate for the idempotent operations checker and moved ...Tom Care2010-07-161-5/+5
* Pointer comparisons (and pointer-pointer subtraction). Basically filling in S...Jordy Rose2010-06-281-0/+11
* Adds analyzer support for idempotent and tautological binary operations such ...Jordy Rose2010-06-201-0/+61
OpenPOWER on IntegriCloud