1-- { dg-do run } 2-- { dg-options "-O2" } 3 4-- The issue which prompted the test is a compilation failure. Might 5-- as well verify that the generated code performs as expected. 6 7with opt64_pkg; use opt64_pkg; 8 9procedure opt64 is 10 procedure assert (T : boolean) is 11 begin 12 if not T then 13 raise program_error; 14 end if; 15 end; 16begin 17 Encode (1); 18 assert (last_hash = "1"); 19 Encode (2); 20 assert (last_hash = "2"); 21 Encode (3); 22 assert (last_hash = "3"); 23 Encode (6); 24 assert (last_hash = "?"); 25end; 26