blob: afd66b30902103d62cdf2fedac14ebcb0ac988c8 [file] [log] [blame]
-- { dg-do compile }
-- This test used to crash a compiler with assertions enabled
procedure Block_Ext_Return_Assert_Failure is
function Return_Int return Integer is
begin
return 123;
end Return_Int;
function F return Integer is
begin
declare
begin
return Result : constant Integer := Return_Int do
null;
end return;
end;
end F;
begin
null;
end Block_Ext_Return_Assert_Failure;