1 files changed, 89 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/builtin-noret-2.c b/gcc/testsuite/gcc.dg/torture/builtin-noret-2.c
new file mode 100644
index 000000000..1103e3d81
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/builtin-noret-2.c
@@ -0,0 +1,89 @@
+/* Test for builtin noreturn attributes when the visible declarations
+   are function-local.  Modified from builtin-noret-1.c by Zack Weinberg
+   <zack@codesourcery.com>.  */
+/* { dg-options "-multiply_defined suppress" { target powerpc-*-darwin* } } */
+/* { dg-do link } */
+/* { dg-require-weak "" } */
+
+extern void tabort (void);
+extern void texit (void);
+extern void t_exit (void);
+extern void t_Exit (void);
+
+extern void link_failure (void);
+
+int
+main (void)
+{
+  volatile int i = 0;
+  extern void exit (int);
+  if (i)
+    tabort ();
+  if (i)
+    texit ();
+  if (i)
+    t_exit ();
+  if (i)
+    t_Exit ();
+  exit (0);
+}
+
+void
+tabort (void)
+{
+  extern void abort (void);
+  abort ();
+  link_failure ();
+}
+
+void
+texit (void)
+{
+  extern void exit (int);
+  exit (1);
+  link_failure ();
+}
+
+void
+t_exit (void)
+{
+  extern void _exit (int);
+  /* Some non-Unix libcs have _exit, and won't allow it to be re-defined,
+     so make it weak.  */
+#pragma weak _exit
+  _exit (1);
+  link_failure ();
+}
+
+/* Some non-Unix libcs might not have _exit.  */
+/* Some non-Unix libcs have _exit, and won't allow it to be re-defined,
+   so make it weak.  */
+#pragma weak _exit
+void
+_exit (int i)
+{
+  extern void abort (void);
+  abort ();
+}
+
+void
+t_Exit (void)
+{
+  extern void _Exit (int);
+  /* Some libcs have _Exit, and won't allow it to be re-defined,
+     so make it weak.  */
+#pragma weak _Exit
+  _Exit (1);
+  link_failure ();
+}
+
+/* Some libcs might not have _Exit.  */
+/* Some libcs have _Exit, and won't allow it to be re-defined,
+   so make it weak.  */
+#pragma weak _Exit
+void
+_Exit (int i)
+{
+  extern void abort (void);
+  abort ();
+}