blob: 651f530660ddee403c5dd789210be3edb86d3708 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#include <stdlib.h>
int main()
{
int i;
int a[101];
i = 0;
#pragma scop
for (i = 0; i < 100; ++i)
a[i] = i;
a[i] = i;
#pragma endscop
if (a[100] != 100)
return EXIT_FAILURE;
return EXIT_SUCCESS;
}
|