diff options
Diffstat (limited to 'polly/lib/External/ppcg/tests/dead.c')
-rw-r--r-- | polly/lib/External/ppcg/tests/dead.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/polly/lib/External/ppcg/tests/dead.c b/polly/lib/External/ppcg/tests/dead.c new file mode 100644 index 00000000000..3f70a338262 --- /dev/null +++ b/polly/lib/External/ppcg/tests/dead.c @@ -0,0 +1,23 @@ +#include <stdlib.h> + +int main() +{ + int a[1000], b[1000]; + + for (int i = 0; i < 1000; ++i) + a[i] = i; +#pragma scop + for (int i = 0; i < 1000; ++i) { + int c; + int d; + c = a[i]; + d = c; + b[i] = c; + } +#pragma endscop + for (int i = 0; i < 1000; ++i) + if (b[i] != a[i]) + return EXIT_FAILURE; + + return EXIT_SUCCESS; +} |