blob: c13965ea29c39a24db0fb7d47e1666a563f8bd17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#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;
}
|
