-- Ignore different-size warnings here since GNAT's handling
-- is correct.
- pragma Warnings ("Z"); -- better to use msg string! ???
+ pragma Warnings ("Z");
function Conv_To_Unsigned is
new Unchecked_Conversion (Result_Subtype'Base, Unsigned_64);
function Conv_To_Result is
procedure Reset (Gen : Generator; Initiator : Integer) is
begin
- pragma Warnings (Off, "condition is always *");
-- This is probably an unnecessary precaution against future change, but
-- since the test is a static expression, no extra code is involved.
Reset (Gen, Initialization_Vector'(Init0, Init1));
end;
end if;
-
- pragma Warnings (On, "condition is always *");
end Reset;
procedure Reset (Gen : Generator; Initiator : Initialization_Vector) is