summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/reference.cpp
AgeCommit message (Expand)Author
2025-06-26[NFC][analyzer] Remove Z3-as-constraint-manager hacks from lit test code (#14...Donát Nagy
2024-12-04[Clang] Add '-Warray-compare' flag for C++ below version 20 (#118031)Amr Hesham
2023-08-28[clang] Remove rdar links; NFCAaron Ballman
2023-07-17Revert "Remove rdar links; NFC"Mehdi Amini
2023-07-07Remove rdar links; NFCAaron Ballman
2022-06-14Reland "[analyzer] Deprecate `-analyzer-store region` flag"Balazs Benics
2022-06-10Revert "[analyzer] Deprecate `-analyzer-store region` flag"Nico Weber
2022-06-10[analyzer] Deprecate `-analyzer-store region` flagBalazs Benics
2021-11-24[NFC][Clang][test] Inclusive language: Remove and rephrase uses of sanity tes...Zarko Todorovski
2018-08-29[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov
2017-09-20Implement C++ [basic.link]p8.Richard Smith
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
2014-06-06Add -Wtautological-undefined-compare and -Wundefined-bool-conversion warningsRichard Trieu
2013-05-28[analyzer] Use the expression’s type instead of region’s type in ArrayToP...Anna Zaks
2013-04-18[analyzer] Tweak getDerefExpr more to track DeclRefExprs to references.Anna Zaks
2013-04-11Force a load when creating a reference to a temporary copied from a bitfield.Jordan Rose
2013-03-07[analyzer] Warn on passing a reference to null pointer as an argument in a callAnna Zaks
2013-03-07[analyzer] Check for returning null references in ReturnUndefChecker.Jordan Rose
2012-10-17[analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose
2012-09-29Revert "[analyzer] Create a temporary region for rvalue structs when accessin...Jordan Rose
2012-09-28[analyzer] Create a temporary region for rvalue structs when accessing fieldsJordan Rose
2012-09-05[analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose
2012-09-01[analyzer] Always derive a CallEvent's return type from its origin expr.Jordan Rose
2012-08-24Fix analyzer tests.Ted Kremenek
2012-08-22Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek
2012-08-21[analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose
2012-08-21[analyzer] Assume that reference symbols are non-null.Jordan Rose
2012-08-04[analyzer] Don't assume values bound to references are automatically non-null.Jordan Rose
2012-08-02[analyzer] Add a simple check for initializing reference variables with null.Jordan Rose
2012-07-31[analyzer] Getting an lvalue for a reference field still requires a load.Jordan Rose
2012-05-16[analyzer] Fix RUN lines for old XFAIL tests, one of which actually works.Jordy Rose
2012-01-24Switch PerformImplicitConversion over to use DefaultLvalueConversion for lval...Eli Friedman
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-07-28[analyzer] fix handling of MaterializeTemporaryExpr by binding the result val...Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2010-12-19If the initializer is an rvalue and the variable is a const reference,Zhongxing Xu
2010-12-16Start migration of static analyzer to using theTed Kremenek