From 8b7dfc824653d7665abb58b9731c3a4cb3513edd Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Thu, 16 Mar 2017 00:14:36 +0100
Subject: [PATCH] Add new generation for shared_ptr

---
 tests/Makefile      | 3 +++
 tests/tgen-shared.c | 9 +++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 tests/tgen-shared.c

diff --git a/tests/Makefile b/tests/Makefile
index 05547deb..1ef003c2 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -65,6 +65,9 @@ gene-list:
 gene-array:
 	$(CC) $(CFLAGS) $(CPPFLAGS) -O3 -DNDEBUG -S tgen-marray.c && less tgen-marray.s
 
+gene-shared:
+	$(CC) $(CFLAGS) $(CPPFLAGS) -O3 -DNDEBUG -S tgen-shared.c && less tgen-shared.s
+
 clean:
 	$(RM) $(EXE) *.s *~ *.o ./a.dat
 	$(RM) -rf coverage *.gcda *.gcno *.gcov all.info test.tar coverage-dir
diff --git a/tests/tgen-shared.c b/tests/tgen-shared.c
new file mode 100644
index 00000000..4d389b60
--- /dev/null
+++ b/tests/tgen-shared.c
@@ -0,0 +1,9 @@
+#include "m-shared.h"
+
+SHARED_PTR_DEF(int, int)
+
+int f(shared_int_t p)
+{
+  *shared_int_ref(p) = 17;
+}
+