Subversion Repositories openrisc

// { dg-do assemble  }

// g++ 1.37.1 bug 900428_01

// g++ fails to issue error messages for cases where an incomplete type

// object must be evaluated if the value of such an evaluation is not

// actually used in the given context.

// In the case where such an object is volatile, it is obvious that this

// could be a problem, however I believe that errors should be issued

// for such cases regardless of whether or not such values are volatile

// because the abstract semantics seem to require the evaluation of such

// values whether they are volatile or not.

// [expr.static.cast/4, stmt.expr/1, expr.comma/1] show that expressions do

// not under go lvalue to rvalue decay, unless the value is actually used.

// This can be surprising when the object is volatile. We interpret a

// dereference of pointer to volatile to be a read.

// keywords: incomplete types, evaluation, volatile qualifier

int *ip_fn ();

int &ir_fn ();

volatile int *vip_fn ();

volatile int &vir_fn ();

void int_test (int i, int *p, volatile int *vp, int &r, volatile int &vr)

{

  int j;

  volatile int vj;

  *p;                           // ok, no warning

  (void)*p;                     // ok, no warning

  (void)(i ? j : *p);           // ok, no warning

  (void)(i ? *p : j);           // ok, no warning

  (void)((void)1, *p);          // ok, no warning

  *vp;                          // ok, no warning

  (void)*vp;                    // ok, no warning

  (void)(i ? vj : *vp);         // ok, no warning

  (void)(i ? *vp : vj);         // ok, no warning

  (void)((void)1, *vp);         // ok, no warning

  r;                            // ok, no warning

  (void)r;                      // ok, no warning

  (void)(i ? j : r);            // ok, no warning

  (void)(i ? r : j);            // ok, no warning

  (void)((void)1, r);           // ok, no warning

  vr;                           // { dg-warning "" } reference not accessed

  (void)vr;                     // { dg-warning "" } reference not accessed

  (void)(i ? vj : vr);          // { dg-warning "" } reference not accessed

  (void)(i ? vr : vj);          // { dg-warning "" } reference not accessed

  (void)((void)1, vr);          // { dg-warning "" } reference not accessed

  *ip_fn ();                    // ok, no warning

  *vip_fn ();                   // ok, no warning

  ir_fn ();                     // ok, no warning

  vir_fn ();                    // { dg-warning "" } reference not accessed

}

struct S;

S *sp_fn ();

S &sr_fn ();

volatile S *vsp_fn ();

volatile S &vsr_fn ();

void incomplete_test (int i, S *p, volatile S *vp, S &r, volatile S &vr)

{

  extern S j;

  extern volatile S vj;

  *p;                           // ok, no warning

  (void)*p;                     // ok, no warning

  (void)(i ? j : *p);           // ok, no warning

  (void)(i ? *p : j);           // ok, no warning

  (void)((void)1, *p);          // ok, no warning

  *vp;                          // { dg-warning "" } incomplete not accessed

  (void)*vp;                    // { dg-warning "" } incomplete not accessed

  (void)(i ? vj : *vp);         // { dg-warning "" } incomplete not accessed

  (void)(i ? *vp : vj);         // { dg-warning "" } incomplete not accessed

  (void)((void)1, *vp);         // { dg-warning "" } incomplete not accessed

  r;                            // ok, no warning

  (void)r;                      // ok, no warning

  (void)(i ? j : r);            // ok, no warning

  (void)(i ? r : j);            // ok, no warning

  (void)((void)1, r);           // ok, no warning

  vr;                           // { dg-warning "" } reference not accessed

  (void)vr;                     // { dg-warning "" } reference not accessed

  (void)(i ? vj : vr);          // { dg-warning "" } reference not accessed

  (void)(i ? vr : vj);          // { dg-warning "" } reference not accessed

  (void)((void)1, vr);          // { dg-warning "" } reference not accessed

  *sp_fn ();                    // ok, no warning

  *vsp_fn ();                   // { dg-warning "" } incomplete not accessed

  sr_fn ();                     // ok, no warning

  vsr_fn ();                    // { dg-warning "" } reference not accessed

}

struct T {int m;};

T *tp_fn ();

T &tr_fn ();

volatile T *vtp_fn ();

volatile T &vtr_fn ();

void complete_test (int i, T *p, volatile T *vp, T &r, volatile T &vr)

{

  T j;

  volatile T vj;

  *p;                           // ok, no warning

  (void)*p;                     // ok, no warning

  (void)(i ? j : *p);           // ok, no warning

  (void)(i ? *p : j);           // ok, no warning

  (void)((void)1, *p);          // ok, no warning

  *vp;                          // ok, no warning

  (void)*vp;                    // ok, no warning

  (void)(i ? vj : *vp);         // ok, no warning

  (void)(i ? *vp : vj);         // ok, no warning

  (void)((void)1, *vp);         // ok, no warning

  r;                            // ok, no warning

  (void)r;                      // ok, no warning

  (void)(i ? j : r);            // ok, no warning

  (void)(i ? r : j);            // ok, no warning

  (void)((void)1, r);           // ok, no warning

  vr;                           // { dg-warning "" } reference not accessed

  (void)vr;                     // { dg-warning "" } reference not accessed

  (void)(i ? vj : vr);          // { dg-warning "" } reference not accessed

  (void)(i ? vr : vj);          // { dg-warning "" } reference not accessed

  (void)((void)1, vr);          // { dg-warning "" } reference not accessed

  *tp_fn ();                    // ok, no warning

  *vtp_fn ();                   // ok, no warning

  tr_fn ();                     // ok, no warning

  vtr_fn ();                    // ok, no warning{ dg-warning "" } reference not accessed

}

void extern_test ()

{

  extern S es;

  extern volatile S ves;

  extern T et;

  extern volatile T vet;

  extern S &esr;

  extern volatile S &vesr;

  extern T &etr;

  extern volatile T &vetr;

  es;                           // ok, no warning

  ves;                          // { dg-warning "" } incomplete not accessed

  et;                           // ok, no warning

  vet;                          // ok, no warning

  esr;                          // ok, no warning

  vesr;                         // { dg-warning "" } incomplete not accessed

  etr;                          // ok, no warning

  vetr;                         // { dg-warning "" } reference not accessed

}