Add __builtion_unreachable to vector::size(), vector::capacity()

[official-gcc.git] / gcc / testsuite / gnat.dg / warn27.adb

--  { dg-do compile }

procedure Warn27 is
   Dummy : Boolean;

   pragma Compile_Time_Warning (Dummy, "warning");  --  { dg-warning "condition is not known at compile time" }
   pragma Compile_Time_Error (Dummy, "error");  --  { dg-warning "condition is not known at compile time" }
begin
   pragma Unreferenced (Dummy);
end Warn27;