1 -- { dg-do compile { target lp64 } }
2 -- { dg-options "-O2 -fdump-tree-optimized" }
6 function Worker
(Obj
: T
) return Boolean is
8 return (for some J
in 1 .. Obj
.D2
=> Obj
.A
(J
) = 0);
11 function Contains_Zero
(Obj
: T
) return Boolean is
15 when Others => raise Program_Error
;
20 -- { dg-final { scan-tree-dump "ivtmp.\[0-9_]+ = ivtmp.\[0-9_]+ \\+ 2" "optimized" } }