1// { dg-do compile }
2
3struct S { int x; } s;
4
5// Make sure we detect errors on non-type-dependent things
6// even when the templates are never instantiated.
7template<typename T> void f1()
8{
9  #pragma omp atomic
10  s += 1;		// { dg-error "invalid" }
11}
12
13template<typename T> void f2(float *f)
14{
15  #pragma omp atomic
16  *f |= 1;		// { dg-error "invalid|evaluation" }
17}
18
19// Here the rhs is dependent, but not type dependent.
20template<typename T> void f3(float *f)
21{
22  #pragma omp atomic
23  *f |= sizeof (T);	// { dg-error "invalid|evaluation" }
24}
25
26// And the converse, no error here because we're never fed a T.
27template<typename T> void f4(T *t)
28{
29  #pragma omp atomic
30  *t += 1;
31}
32
33// Here we'll let it go, because the rhs is type dependent and
34// we can't properly instantiate the statement, and we do most
35// of the semantic analysis concurrent with that.
36template<typename T> void f5(float *f)
37{
38  #pragma omp atomic
39  *f |= (T)sizeof(T);	// { dg-error "invalid|evaluation" "" { xfail *-*-* } }
40}
41