1 files changed, 35 insertions, 0 deletions
diff --git a/test/test1.c b/test/test1.c
new file mode 100644
index 0000000..a2ce62e
--- /dev/null
+++ b/test/test1.c
@@ -0,0 +1,35 @@
+#define MAX123 10
+int fun1(const int x,int*** y);
+int c=1;
+
+void func3(int *ptr) __attribute__((nonnull (1)));
+
+void func3(int *ptr)
+{
+    *ptr=10;
+}
+
+int main()
+{
+	fun1(1,(int***)2);
+        func3(0);
+	return 1;
+}
+void fun(int a , int b)
+{
+	if (a==0)
+		a=(a+b)*c;
+	else
+		b=1;
+
+}
+int fun1(const int x,int*** y)
+{
+	int a=0;int b=1;
+	c=b;
+	fun(0,1);
+	if(a==0)
+		return a+b;
+	else return MAX123;
+}
+long fun2(const char* zz) { return (long)zz; }