ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
Last change
on this file since 3e9ec44 was
87b9332,
checked in by Andrew Beach <ajbeach@…>, 4 years ago
|
Moved 'examples/' to 'tests/zombies/'.
|
-
Property mode set to
100644
|
File size:
713 bytes
|
Rev | Line | |
---|
[51b7345] | 1 | // Cforall extensions |
---|
| 2 | |
---|
[0b2961f] | 3 | int * x11 = 0, x12 = 0; |
---|
[51b7345] | 4 | int * x21 = 0, x22 = 0; |
---|
| 5 | |
---|
| 6 | [20] int y1, y2 = { 1, 2, 3 }; |
---|
| 7 | |
---|
| 8 | // designators |
---|
| 9 | |
---|
| 10 | struct { |
---|
[a65d92e] | 11 | [int] w; |
---|
[51b7345] | 12 | } a = { .w : [2] }; |
---|
| 13 | |
---|
[ca26509] | 14 | struct { int a[3], b; } w [] = { [0].a : {1}, [0].b : 3, [1].a[0] : 2 }; |
---|
[51b7345] | 15 | |
---|
| 16 | struct { |
---|
[a65d92e] | 17 | int f1, f2, f3; |
---|
| 18 | struct { int g1, g2, g3; } f4[4]; |
---|
[51b7345] | 19 | } v7 = { |
---|
[a65d92e] | 20 | .f1 : 4, |
---|
| 21 | f2 : 3, |
---|
| 22 | .f4[2] : { |
---|
| 23 | .g1 : 3, |
---|
| 24 | g3 : 0, |
---|
| 25 | }, |
---|
| 26 | .f4[3].g3 : 7, |
---|
[51b7345] | 27 | }; |
---|
[a65d92e] | 28 | |
---|
[0b2961f] | 29 | struct point { int x; int z; struct {int y1, y2, y3;} y; int w;}; |
---|
| 30 | struct quintet { int v, w, x, y, z;}; |
---|
| 31 | |
---|
| 32 | int main() { |
---|
| 33 | struct point p1 = { x : 3 }; |
---|
| 34 | struct point p2 = { 3, 4 }; |
---|
| 35 | struct point p3 = { .[x,z] : 5, y : { .[y3,y1] : 6, 17 } }; |
---|
| 36 | struct point p4 = { w : 5, 4 }; |
---|
| 37 | } |
---|
| 38 | |
---|
[a65d92e] | 39 | // Local Variables: // |
---|
| 40 | // tab-width: 4 // |
---|
| 41 | // End: // |
---|
Note: See
TracBrowser
for help on using the repository browser.