Viewing file:  Waddress-8.C (1.52 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* 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" }
}
|
