| # { dg-options "-fstropping=upper" } # |
| # Dereferencing of struct fields. Version with sub-names and |
| explicit assignations instead of initialization in variable declaration. # |
| BEGIN MODE S = STRUCT (INT x, REF INT xx, REF REF INT xxx); |
| |
| INT x := 10; |
| REF INT xx := x; |
| REF REF INT xxx := xx; |
| |
| S s; |
| |
| x OF s := x; |
| xx OF s := xx; |
| xxx OF s := xxx; |
| |
| ASSERT (x OF s = 10); |
| ASSERT (xx OF s = 10); |
| ASSERT (xxx OF s = 10); |
| ASSERT ((x) = 10); |
| ASSERT ((xx) = 10); |
| ASSERT ((xxx) = 10); |
| ASSERT (x OF s + 1 = 11); |
| ASSERT (xx OF s + 1 = 11); |
| ASSERT (xxx OF s + 1 = 11); |
| ASSERT ((x OF s + 1) = 11); |
| ASSERT ((xx OF s + 1) = 11); |
| ASSERT ((xxx OF s + 1) = 11); |
| ASSERT ((x OF s := x) = 10); |
| ASSERT ((xx OF s := xx) = 10); |
| ASSERT ((xxx OF s := xxx) = 10); |
| ASSERT ((x OF s := x) + 1 = 11); |
| ASSERT ((xx OF s := xx) + 1 = 11); |
| ASSERT ((xxx OF s := xxx) + 1 = 11); |
| x := 20; |
| ASSERT (x OF s = 10); |
| ASSERT (xx OF s = 20); |
| ASSERT (xxx OF s = 20); |
| ASSERT ((x) = 20); |
| ASSERT ((xx) = 20); |
| ASSERT ((xxx) = 20); |
| ASSERT (x OF s + 1 = 11); |
| ASSERT (xx OF s + 1 = 21); |
| ASSERT (xxx OF s + 1 = 21); |
| ASSERT ((x OF s + 1) = 11); |
| ASSERT ((xx OF s + 1) = 21); |
| ASSERT ((xxx OF s + 1) = 21); |
| ASSERT ((x OF s := x) = 20); |
| ASSERT ((xx OF s := xx) = 20); |
| ASSERT ((xxx OF s := xxx) = 20); |
| ASSERT ((x OF s := x) + 1 = 21); |
| ASSERT ((xx OF s := xx) + 1 = 21); |
| ASSERT ((xxx OF s := xxx) + 1 = 21) |
| END |
