diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/opt38_pkg.adb')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/opt38_pkg.adb | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/opt38_pkg.adb b/gcc-4.9/gcc/testsuite/gnat.dg/opt38_pkg.adb new file mode 100644 index 000000000..7cbbeeab3 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/opt38_pkg.adb @@ -0,0 +1,33 @@ +package body Opt38_Pkg is + + procedure Proc (I : Integer); + pragma Inline (Proc); + + procedure Proc (I : Integer) is + + procedure Inner; + pragma No_Inline (Inner); + + procedure Inner is + begin + if I /= 110 then + raise Program_Error; + end if; + end; + + begin + if I > 0 then + Inner; + end if; + end; + + procedure Test (I : Integer) is + begin + if I > -1 then + Proc (I); + else + Proc (I + 111); + end if; + end; + +end Opt38_Pkg; |