update pet to version 0.11.4
[ppcg.git] / tests / struct2.c
blobd7d6a9fc91ff6e0b6797fc9644cb114db88d36cf
1 #include <stdlib.h>
3 struct s {
4 int a;
5 };
7 int main()
9 struct s a, b[10];
11 #pragma scop
12 a.a = 42;
13 for (int i = 0; i < 10; ++i)
14 b[i].a = a.a;
15 #pragma endscop
16 for (int i = 0; i < 10; ++i)
17 if (b[i].a != 42)
18 return EXIT_FAILURE;
20 return EXIT_SUCCESS;