1 files changed, 19 insertions, 0 deletions
diff --git a/REORG.TODO/elf/nodel2mod1.c b/REORG.TODO/elf/nodel2mod1.c
new file mode 100644
index 0000000000..acddc4cf8b
--- /dev/null
+++ b/REORG.TODO/elf/nodel2mod1.c
@@ -0,0 +1,19 @@
+#include <stdlib.h>
+void
+foo (void)
+{
+  exit (0);
+}
+
+void
+__attribute__((destructor))
+bar (void)
+{
+  static int i;
+  foo ();
+  ++i;
+}
+void
+baz (void)
+{
+}