#include <stdlib.h> | |
/* Check that a write access is not removed from the live-out | |
* accesses only because a strict subset of the (potentially) | |
* accessed elements are killed by a later write. | |
*/ | |
int main() | |
{ | |
int A[10]; | |
A[1] = 0; | |
#pragma scop | |
int i = 1; | |
i = i * i; | |
A[i] = 1; | |
A[0] = 0; | |
#pragma endscop | |
if (A[1] != 1) | |
return EXIT_FAILURE; | |
return EXIT_SUCCESS; | |
} |