aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/ext/unroll-8.C
blob: 935ada24fbf3969aa8d45393fcb7b9cb4d7a6829 (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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
// PR c++/112795
// { dg-do compile { target c++11 } }

void
foo (int (&a)[3])
{
  #pragma GCC unroll 1.0f			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll 0xffffffffffffffffULL	// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll -42			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
}

template <int N, typename U>
void
bar (U a)
{
  #pragma GCC unroll 1.0f			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll 0xffffffffffffffffULL	// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll -42			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
}

template <typename T, int N, typename U>
void
baz (U a)
{
  #pragma GCC unroll (N + 1.0f)			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll (N + 0xffffffffffffffffULL)
  for (auto i : a)
    ;
  #pragma GCC unroll (N - 42)
  for (auto i : a)
    ;
  #pragma GCC unroll ((T) 1.0f)
  for (auto i : a)
    ;
  #pragma GCC unroll ((T) 0xffffffffffffffffULL)
  for (auto i : a)
    ;
  #pragma GCC unroll ((T) -42)
  for (auto i : a)
    ;
}

template <typename T, int N, typename U>
void
qux (U a)
{
  #pragma GCC unroll (N + 1.0f)			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll (N + 0xffffffffffffffffULL)// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll (N - 42)			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll ((T) 1.0f)			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll ((T) 0xffffffffffffffffULL)// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
  #pragma GCC unroll ((T) -42)			// { dg-error "'#pragma GCC unroll' requires an assignment-expression that evaluates to a non-negative integral constant less than" }
  for (auto i : a)
    ;
}

void
corge ()
{
  int a[3] = { 1, 2, 3 };
  qux <float, 0, int (&)[3]> (a);
}