diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C')
-rw-r--r-- | gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C b/gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C new file mode 100644 index 000000000..c27f20193 --- /dev/null +++ b/gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C @@ -0,0 +1,40 @@ +// { 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 + s += 1; // { dg-error "invalid" } +} + +template<typename T> void f2(float *f) +{ + #pragma omp atomic + *f |= 1; // { dg-error "invalid|evaluation" } +} + +// Here the rhs is dependent, but not type dependent. +template<typename T> void f3(float *f) +{ + #pragma omp atomic + *f |= sizeof (T); // { dg-error "invalid|evaluation" } +} + +// 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 + *f |= (T)sizeof(T); // { dg-error "invalid|evaluation" "" { xfail *-*-* } } +} |