gcc/testsuite/gnat.dg/case_character.adb

   1 -- { dg-do run }
   2
   3 procedure Case_Character is
   4
   5   function Test (C : Character) return Integer is
   6   begin
   7     case C is
   8       when ASCII.HT | ' ' .. Character'Last => return 1;
   9       when others => return 0;
  10     end case;
  11   end;
  12
  13 begin
  14
  15   if Test ('A') /= 1 then
  16     raise Program_Error;
  17   end if;
  18
  19 end;