1--  { dg-do compile }
2--  { dg-options "-gnatwu" }
3
4with Ada.Command_Line; use Ada.Command_Line;
5with Text_IO; use Text_IO;
6procedure warn3 is
7   type Weekdays is (Sun, Mon, Tue, Wed, Thu, Fri, Sat);
8begin
9   if Argument_Count > 0 then
10      Put_Line
11        (Argument (1) & " is weekday number"
12         & Integer'Image
13            (Weekdays'Pos (Weekdays'Value (Argument (1)))));
14   end if;
15end;
16