summaryrefslogtreecommitdiff
path: root/test/Analysis/constant-folding.c
AgeCommit message (Expand)Author
2017-11-09[analyzer] assume bitwise arithmetic axiomsGeorge Karpenkov
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
2012-05-16[analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose
2012-05-06[analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and ...Jordy Rose
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-04-26Emit a -Wnull-dereference warning for "*null" not just "*null = something". A...Argyrios Kyrtzidis
2011-03-24Rework checker "packages" and groups to be more hierarchical.Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-28[analyzer] Remove '-analyzer-experimental-checks' flag.Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2011-02-15[analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis
2010-12-16Do lvalue-to-rvalue conversions on the LHS of a shift operator.John McCall
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-08-18Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care
2010-07-27Added some false positive checking to UnreachableCodeCheckerTom Care
2010-07-27Finesse 'idempotent operations' analyzer issues to include the opcode of the ...Ted Kremenek
2010-07-16Improved false positive rate for the idempotent operations checker and moved ...Tom Care
2010-06-28Pointer comparisons (and pointer-pointer subtraction). Basically filling in S...Jordy Rose
2010-06-20Adds analyzer support for idempotent and tautological binary operations such ...Jordy Rose
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-02 19:48:16 +0000