1 files changed, 8 insertions, 0 deletions
diff --git a/test/test43.cpp b/test/test43.cpp
index 103de1c..91152f9 100644
--- a/test/test43.cpp
+++ b/test/test43.cpp
@@ -62,6 +62,8 @@ class Object1
     Data1 *tmp1;
     Data1 *tmp2;
     Data1 *tmp3 __attribute__((nonnullpointer));
+    int x;
+    int y;
 
     Data1 *getData1()
     {
@@ -87,4 +89,10 @@ class Object1
     {
         return &tmp1[1];
     }
+
+    void func4(Data1 *ptr1)
+    {
+        x = tmp3->val;
+        y = tmp3->arr[0];
+    }
 };