gcc/testsuite/g++.dg/warn/Waddress-8.C

   1 /* PR c++/96507 - missing -Waddress for member references
   2    { dg-do compile }
   3    { dg-options "-Wall" } */
   4
   5 typedef void F ();
   6
   7 extern F &efr;
   8 extern int &eir;
   9
  10 bool warn_ext_rfun ()
  11 {
  12   return &efr != 0;           // { dg-warning "-Waddress" }
  13 }
  14
  15 bool warn_ext_rvar ()
  16 {
  17   return &eir != 0;           // { dg-warning "-Waddress" }
  18 }
  19
  20
  21 bool warn_parm_rfun (F &rf)
  22 {
  23   return &rf != 0;            // { dg-warning "-Waddress" }
  24 }
  25
  26 bool warn_parm_rvar (int &ir)
  27 {
  28   return &ir != 0;            // { dg-warning "-Waddress" }
  29 }
  30
  31 // Comparing the address of a reference argument to null also triggers
  32 // a -Wnonnull-compare (that seems like a bug, hence PR 103363).
  33 // { dg-prune-output "-Wnonnull-compare" }
  34
  35
  36 struct S
  37 {
  38   F &fr;
  39   int &ir;
  40 };
  41
  42 extern S es, esa[];
  43
  44 bool warn_ext_mem_rfun ()
  45 {
  46   return &es.fr != 0;         // { dg-warning "-Waddress" }
  47 }
  48
  49 bool warn_ext_mem_rvar ()
  50 {
  51   return &es.ir != 0;         // { dg-warning "-Waddress" }
  52 }
  53
  54
  55 bool warn_ext_arr_mem_rfun (int i)
  56 {
  57   return &esa[i].fr != 0;     // { dg-warning "-Waddress" }
  58 }
  59
  60 bool warn_ext_arr_mem_rvar (int i)
  61 {
  62   return &esa[i].ir != 0;     // { dg-warning "-Waddress" }
  63 }
  64
  65
  66 bool warn_parm_mem_rfun (S &s)
  67 {
  68   return &s.fr != 0;          // { dg-warning "-Waddress" }
  69 }
  70
  71 bool warn_parm_mem_rvar (S &s)
  72 {
  73   return &s.ir != 0;          // { dg-warning "-Waddress" }
  74 }
  75
  76
  77 bool warn_parm_arr_mem_rfun (S sa[], int i)
  78 {
  79   return &sa[i].fr != 0;      // { dg-warning "-Waddress" }
  80 }
  81
  82 bool warn_parm_arr_mem_rvar (S sa[], int i)
  83 {
  84   return &sa[i].ir != 0;      // { dg-warning "-Waddress" }
  85 }