* gimple-low.c (lower_gimple_return): When not optimizing, force labels

	associated with user returns to be preserved.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@172030 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 9 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/return3.adb b/gcc/testsuite/gnat.dg/return3.adb
new file mode 100644
index 00000000000..7ebe7499005
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/return3.adb
@@ -0,0 +1,9 @@
+-- { dg-do compile { target *-*-linux* } }
+-- { dg-options "-gdwarf-2 -dA" }
+
+procedure Return3 is
+begin
+  return;
+end;
+
+-- { dg-final { scan-assembler "loc 1 6" } }