blob: c27f20193971462b8f55ad3c5a2fb5d62a7d44c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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 *-*-* } }
}
|
