view gcc/testsuite/gnat.dg/predicate7.adb @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 1830386684a0
children
line wrap: on
line source

--  { dg-do compile }
--  { dg-options "-gnata" }

package body Predicate7 is
   procedure Foo is null;
end;