gcc-4.9/gcc/testsuite/gnat.dg/inline_scope_p.adb


1
2
3
4
5
6
7
8

package body inline_scope_p is
   procedure Assert (Expr : Boolean; Str : String) is
   begin   
      if Expr then
         null;   
      end if; 
   end Assert; 
end;