update isl to version 0.17.1
[ppcg.git] / tests / dead.c
blob3f70a338262dec7be4c6c6bdd92eb6631a902ece
1 #include <stdlib.h>
3 int main()
5 int a[1000], b[1000];
7 for (int i = 0; i < 1000; ++i)
8 a[i] = i;
9 #pragma scop
10 for (int i = 0; i < 1000; ++i) {
11 int c;
12 int d;
13 c = a[i];
14 d = c;
15 b[i] = c;
17 #pragma endscop
18 for (int i = 0; i < 1000; ++i)
19 if (b[i] != a[i])
20 return EXIT_FAILURE;
22 return EXIT_SUCCESS;