1 files changed, 23 insertions, 0 deletions
diff --git a/test/test4.c b/test/test4.c
new file mode 100644
index 0000000..9f65d24
--- /dev/null
+++ b/test/test4.c
@@ -0,0 +1,23 @@
+int main(void)
+{
+    return 0;
+}
+
+void func4_1(int a, int *b, char *c);
+void func4_2(int a, int *b, char *c) __attribute__((nonnull (2)));
+void func4_3(int a, int *b, char *c) __attribute__((nonnull (2, 3)));
+
+void func4_1(int a, int *b, char *c)
+{
+    return;
+}
+
+void func4_2(int a, int *b, char *c)
+{
+    return;
+}
+
+void func4_3(int a, int *b, char *c)
+{
+    return;
+}