summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/conditional-path-notes.c
AgeCommit message (Expand)Author
2021-07-09Revert "Revert "Temporarily do not drop volatile stores before unreachable""Nico Weber
2021-07-09[clang] Improve `-Wnull-dereference` diag to be more in-line with realityRoman Lebedev
2019-06-11Reapply r362994 & co "[analyzer][tests] Add normalize_plist to replace diff_p...Hubert Tong
2019-06-10Revert r362994 & co "[analyzer][tests] Add normalize_plist to replace diff_pl...Reid Kleckner
2019-06-10[analyzer][tests] Use normalize_plist in place of diff_plist (`cat` cases)Hubert Tong
2019-01-10[analyzer] [NFC] Reverse the argument order for "diff" in testsGeorge Karpenkov
2018-09-17[Analyzer] Define and use diff_plist in tests, NFCMikhail Maltsev
2018-09-11[analyzer] [NFC] Change the tests by making the version check more resilientGeorge Karpenkov
2018-09-07Revert "Revert "Revert "Revert "[analyzer] Add coverage information to plist ...George Karpenkov
2018-09-07Revert "Revert "Revert "[analyzer] Add coverage information to plist output, ...Simon Pilgrim
2018-09-07Revert "Revert "[analyzer] Add coverage information to plist output, update t...George Karpenkov
2018-08-14Move test inputs into Inputs directory.Richard Smith
2018-08-10[analyzer] [NFC] [tests] Move plist-based diagnostics tests to separate files...George Karpenkov
2018-06-12[analyzer] [NFC] Remove unused Extensive diagnostic setting,George Karpenkov
2018-04-11[Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyz...Adam Balogh
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-10-05[analyzer] Improve "Assuming..." diagnostic pieces for logical operators.Artem Dergachev
2016-10-05[analyzer] Add "Assuming..." diagnostic pieces for unsupported conditions.Artem Dergachev
2015-10-22[analyzer] Bug identificationGabor Horvath
2015-02-09[Static Analyzer] The name of the checker that reports a bug is addedGabor Horvath
2013-10-26[analyzer] Don't emit an "Assuming x is <OP> y" if it's not a comparison op.Jordan Rose