// { dg-do compile }

struct S { int x; } s;

// Make sure we detect errors on non-type-dependent things
// even when the templates are never instantiated.
template<typename T> void f1()
{
  #pragma omp atomic	// { dg-error "invalid" }
  s += 1;
}

template<typename T> void f2(float *f)
{
  #pragma omp atomic	// { dg-error "invalid" }
  *f |= 1;             // { dg-message "evaluation" "" { target *-*-* } .-1 }
}

// Here the rhs is dependent, but not type dependent.
template<typename T> void f3(float *f)
{
  #pragma omp atomic	// { dg-error "invalid" }
  *f |= sizeof (T);    // { dg-message "evaluation" "" { target *-*-* } .-1 }
}

// And the converse, no error here because we're never fed a T.
template<typename T> void f4(T *t)
{
  #pragma omp atomic
  *t += 1;
}

// Here we'll let it go, because the rhs is type dependent and
// we can't properly instantiate the statement, and we do most
// of the semantic analysis concurrent with that.
template<typename T> void f5(float *f)
{
  #pragma omp atomic	// { dg-error "invalid" "" { xfail *-*-* } }
  *f |= (T)sizeof(T);	// { dg-error "evaluation" "" { xfail *-*-* } }
}