Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/gomp/tpl-atomic-2.C @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
// { 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 *-*-* } } }