| -- { dg-do compile } | |
| with Interfaces.C; use Interfaces.C; | |
| procedure Object_Overflow3 is | |
| procedure Proc (x : Boolean) is begin null; end; | |
| type Arr is array(0 .. ptrdiff_t'Last) of Boolean; | |
| type Rec is record | |
| A : Arr; | |
| B : Arr; | |
| end record; | |
| Obj : Rec; -- { dg-warning "Storage_Error" } | |
| begin | |
| Obj.A(1) := True; | |
| Proc (Obj.A(1)); | |
| end; |