wide_test.adb

来自「用于进行gcc测试」· ADB 代码 · 共 19 行

-- { dg-do run }
-- { dg-options "-gnatW8" }

procedure wide_test is
   X  : constant Wide_Character := 'Я';

begin
   declare
      S3 : constant Wide_String := (''', X, ''');
      X3 :           Wide_Character;
   begin
      X3 := Wide_Character'Wide_Value (S3);

      if X /= X3 then
         raise Program_Error;
      end if;
   end;
end;