return;
}
else if (CONVERT_EXPR_P (op)
- && TYPE_REF_P (TREE_TYPE (TREE_OPERAND (op, 0))))
+ && TYPE_REF_P (TREE_TYPE (TREE_OPERAND (op, 0))))
{
STRIP_NOPS (op);
+ if (TREE_CODE (op) == COMPONENT_REF)
+ op = TREE_OPERAND (op, 1);
+
if (DECL_P (op))
warned = warning_at (location, OPT_Waddress,
"the compiler can assume that the address of "
--- /dev/null
+/* PR c++/96507 - missing -Waddress for member references
+ { dg-do compile }
+ { dg-options "-Wall" } */
+
+typedef void F ();
+
+extern F 𝔢
+extern int &eir;
+
+bool warn_ext_rfun ()
+{
+ return &efr != 0; // { dg-warning "-Waddress" }
+}
+
+bool warn_ext_rvar ()
+{
+ return &eir != 0; // { dg-warning "-Waddress" }
+}
+
+
+bool warn_parm_rfun (F &rf)
+{
+ return &rf != 0; // { dg-warning "-Waddress" }
+}
+
+bool warn_parm_rvar (int &ir)
+{
+ return &ir != 0; // { dg-warning "-Waddress" }
+}
+
+// Comparing the address of a reference argument to null also triggers
+// a -Wnonnull-compare (that seems like a bug, hence PR 103363).
+// { dg-prune-output "-Wnonnull-compare" }
+
+
+struct S
+{
+ F &fr;
+ int &ir;
+};
+
+extern S es, esa[];
+
+bool warn_ext_mem_rfun ()
+{
+ return &es.fr != 0; // { dg-warning "-Waddress" }
+}
+
+bool warn_ext_mem_rvar ()
+{
+ return &es.ir != 0; // { dg-warning "-Waddress" }
+}
+
+
+bool warn_ext_arr_mem_rfun (int i)
+{
+ return &esa[i].fr != 0; // { dg-warning "-Waddress" }
+}
+
+bool warn_ext_arr_mem_rvar (int i)
+{
+ return &esa[i].ir != 0; // { dg-warning "-Waddress" }
+}
+
+
+bool warn_parm_mem_rfun (S &s)
+{
+ return &s.fr != 0; // { dg-warning "-Waddress" }
+}
+
+bool warn_parm_mem_rvar (S &s)
+{
+ return &s.ir != 0; // { dg-warning "-Waddress" }
+}
+
+
+bool warn_parm_arr_mem_rfun (S sa[], int i)
+{
+ return &sa[i].fr != 0; // { dg-warning "-Waddress" }
+}
+
+bool warn_parm_arr_mem_rvar (S sa[], int i)
+{
+ return &sa[i].ir != 0; // { dg-warning "-Waddress" }
+}