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