Update test 36.

4 files changed, 488 insertions, 0 deletions

diff --git a/test/test36-01.txt b/test/test36-01.txt
index df28524..d7d39e7 100644
--- a/test/test36-01.txt
+++ b/test/test36-01.txt
@@ -1296,3 +1296,369 @@ function_decl func3 test36.cpp 67:10
         - stringLength: 11
   block - operand
    var_decl ptr1 test36.cpp 69:14 - block vars
+function_decl func4 test36.cpp 82:10
+- isPublic: 1
+ method_type - function type
+  void_type - method return type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+  record_type - method base type
+   type_decl Object1 test36.cpp 22:7 - type name
+   - isAutogenerated: 1
+   field_decl tmp1 test36.cpp 24:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+   field_decl tmp2 test36.cpp 25:12 - field
+   - unsigned
+    integer_cst 64 - decl size
+   type_decl Object1 test36.cpp 23:1 - field
+   - isAutogenerated: 1
+  tree_list - arg types
+   pointer_type - value
+    record_type - nested type
+     type_decl Object1 test36.cpp 22:7 - type name
+     - isAutogenerated: 1
+     field_decl tmp1 test36.cpp 24:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+     field_decl tmp2 test36.cpp 25:12 - field
+     - unsigned
+      integer_cst 64 - decl size
+     type_decl Object1 test36.cpp 23:1 - field
+     - isAutogenerated: 1
+   tree_list - chain
+    void_type - value
+     type_decl void <built-in> 0:0 - type name
+     - isAutogenerated: 1
+ result_decl test36.cpp 83:5 - function result
+ - isAutogenerated: 1
+  void_type - result type
+   type_decl void <built-in> 0:0 - type name
+   - isAutogenerated: 1
+ - isUsed: 1
+ parm_decl this test36.cpp 82:16 - argument
+ - isAutogenerated: 1
+  pointer_type - decl type
+   record_type - nested type
+    type_decl Object1 test36.cpp 22:7 - type name
+    - isAutogenerated: 1
+    field_decl tmp1 test36.cpp 24:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+    field_decl tmp2 test36.cpp 25:12 - field
+    - unsigned
+     integer_cst 64 - decl size
+    type_decl Object1 test36.cpp 23:1 - field
+    - isAutogenerated: 1
+  integer_cst 64 - parm size
+ statement_list - code
+  if_stmt test36.cpp 84:9 - statement
+   eq_expr test36.cpp 84:15 - condition
+    var_decl k test36.cpp 18:5 - operand
+    - isUsed: 1
+     integer_cst 32 - decl size
+     integer_type - var type
+     - precisionBits: 32
+     - signed
+      type_decl int <built-in> 0:0 - type name
+      - isAutogenerated: 1
+      integer_cst 32 - type size
+      integer_cst -2147483648 - min value
+      integer_cst 2147483647 - max value
+    integer_cst 10 - operand
+   cleanup_point_expr test36.cpp 85:29 - then
+    expr_stmt test36.cpp 85:29 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       component_ref test36.cpp 85:13 - operand
+        indirect_ref - object
+         nop_expr - ref
+          - isUsed: 1
+          parm_decl this test36.cpp 82:16 - operand
+          - isAutogenerated: 1
+           pointer_type - decl type
+            record_type - nested type
+             type_decl Object1 test36.cpp 22:7 - type name
+             - isAutogenerated: 1
+             field_decl tmp1 test36.cpp 24:12 - field
+             - unsigned
+              integer_cst 64 - decl size
+             field_decl tmp2 test36.cpp 25:12 - field
+             - unsigned
+              integer_cst 64 - decl size
+             type_decl Object1 test36.cpp 23:1 - field
+             - isAutogenerated: 1
+           integer_cst 64 - parm size
+        field_decl tmp1 test36.cpp 24:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+       nop_expr - operand
+        nop_expr - operand
+         call_expr test36.cpp 85:24 - operand
+          addr_expr - function
+           function_decl operator new <built-in> 0:0 - operand
+           - isAutogenerated: 1
+           - isExternal: 1
+           - isPublic: 1
+            function_type - function type
+             pointer_type - function return type
+             tree_list - attribute
+              identifier_node alloc_size - purpose
+              tree_list - value
+               integer_cst 1 - value
+              tree_list - chain
+               identifier_node externally_visible - purpose
+          integer_cst 32 - arg
+   cleanup_point_expr test36.cpp 87:29 - else
+    expr_stmt test36.cpp 87:29 - operand
+     convert_expr - expresssion
+      modify_expr - operand
+       component_ref test36.cpp 87:13 - operand
+        indirect_ref - object
+         nop_expr - ref
+          - isUsed: 1
+          parm_decl this test36.cpp 82:16 - operand
+          - isAutogenerated: 1
+           pointer_type - decl type
+            record_type - nested type
+             type_decl Object1 test36.cpp 22:7 - type name
+             - isAutogenerated: 1
+             field_decl tmp1 test36.cpp 24:12 - field
+             - unsigned
+              integer_cst 64 - decl size
+             field_decl tmp2 test36.cpp 25:12 - field
+             - unsigned
+              integer_cst 64 - decl size
+             type_decl Object1 test36.cpp 23:1 - field
+             - isAutogenerated: 1
+           integer_cst 64 - parm size
+        field_decl tmp1 test36.cpp 24:12 - field
+        - unsigned
+         integer_cst 64 - decl size
+       nop_expr - operand
+        nop_expr - operand
+         call_expr test36.cpp 87:24 - operand
+          addr_expr - function
+           function_decl operator new <built-in> 0:0 - operand
+           - isAutogenerated: 1
+           - isExternal: 1
+           - isPublic: 1
+            function_type - function type
+             pointer_type - function return type
+             tree_list - attribute
+              identifier_node alloc_size - purpose
+              tree_list - value
+               integer_cst 1 - value
+              tree_list - chain
+               identifier_node externally_visible - purpose
+          integer_cst 32 - arg
+  cleanup_point_expr test36.cpp 88:63 - statement
+   expr_stmt test36.cpp 88:63 - operand
+    call_expr test36.cpp 88:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst knownVars - operand
+       - stringLength: 10
+     nop_expr - arg
+      addr_expr - operand
+       string_cst this->tmp1 - operand
+       - stringLength: 11
+  cleanup_point_expr test36.cpp 89:70 - statement
+   expr_stmt test36.cpp 89:70 - operand
+    call_expr test36.cpp 89:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst knownNonNullVars - operand
+       - stringLength: 17
+     nop_expr - arg
+      addr_expr - operand
+       string_cst this->tmp1 - operand
+       - stringLength: 11
+  cleanup_point_expr test36.cpp 90:57 - statement
+   expr_stmt test36.cpp 90:57 - operand
+    call_expr test36.cpp 90:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst knownNullVars - operand
+       - stringLength: 14
+     nop_expr - arg
+      addr_expr - operand
+       string_cst - operand
+       - stringLength: 1
+  cleanup_point_expr test36.cpp 91:61 - statement
+   expr_stmt test36.cpp 91:61 - operand
+    call_expr test36.cpp 91:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst needCheckNullVars - operand
+       - stringLength: 18
+     nop_expr - arg
+      addr_expr - operand
+       string_cst - operand
+       - stringLength: 1
+  cleanup_point_expr test36.cpp 92:55 - statement
+   expr_stmt test36.cpp 92:55 - operand
+    call_expr test36.cpp 92:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst addNullVars - operand
+       - stringLength: 12
+     nop_expr - arg
+      addr_expr - operand
+       string_cst - operand
+       - stringLength: 1
+  cleanup_point_expr test36.cpp 93:61 - statement
+   expr_stmt test36.cpp 93:61 - operand
+    call_expr test36.cpp 93:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst removeNullVarsAll - operand
+       - stringLength: 18
+     nop_expr - arg
+      addr_expr - operand
+       string_cst - operand
+       - stringLength: 1
+  cleanup_point_expr test36.cpp 94:58 - statement
+   expr_stmt test36.cpp 94:58 - operand
+    call_expr test36.cpp 94:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst linkedVars - operand
+       - stringLength: 11
+     nop_expr - arg
+      addr_expr - operand
+       string_cst ptr1 - operand
+       - stringLength: 5
+  cleanup_point_expr test36.cpp 95:64 - statement
+   expr_stmt test36.cpp 95:64 - operand
+    call_expr test36.cpp 95:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst linkedVars - operand
+       - stringLength: 11
+     nop_expr - arg
+      addr_expr - operand
+       string_cst this->tmp1 - operand
+       - stringLength: 11
+  cleanup_point_expr test36.cpp 96:65 - statement
+   expr_stmt test36.cpp 96:65 - operand
+    call_expr test36.cpp 96:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst linkedReverseVars - operand
+       - stringLength: 18
+     nop_expr - arg
+      addr_expr - operand
+       string_cst ptr1 - operand
+       - stringLength: 5
+  cleanup_point_expr test36.cpp 97:71 - statement
+   expr_stmt test36.cpp 97:71 - operand
+    call_expr test36.cpp 97:31 - expresssion
+     addr_expr - function
+      function_decl paranuckerInternalTest test36.cpp 20:6 - operand
+      - isExternal: 1
+      - isPublic: 1
+       function_type - function type
+        void_type - function return type
+     nop_expr - arg
+      addr_expr - operand
+       string_cst = - operand
+       - stringLength: 2
+     nop_expr - arg
+      addr_expr - operand
+       string_cst linkedReverseVars - operand
+       - stringLength: 18
+     nop_expr - arg
+      addr_expr - operand
+       string_cst this->tmp1 - operand
+       - stringLength: 11
diff --git a/test/test36-02.txt b/test/test36-02.txt
index d0355df..3e1c74d 100644
--- a/test/test36-02.txt
+++ b/test/test36-02.txt
@@ -4,3 +4,4 @@ getData2:
 func1: 
 func2: 
 func3: 
+func4: 
diff --git a/test/test36-03.txt b/test/test36-03.txt
index f482b17..96315f1 100644
--- a/test/test36-03.txt
+++ b/test/test36-03.txt
@@ -317,3 +317,109 @@ integer_cst -2147483648:
 integer_cst 2147483647: 
 block : 
 var_decl ptr1: 
+function_decl func4: 
+statement_list : 
+if_stmt : 
+eq_expr : 
+var_decl k: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_cst 10: 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+modify_expr : 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+type_decl Object1: 
+integer_cst 64: 
+field_decl tmp1: 
+integer_cst 64: 
+call_expr : 
+addr_expr : 
+function_decl operator new: 
+integer_cst 32: 
+cleanup_point_expr : 
+expr_stmt : 
+convert_expr : 
+modify_expr : 
+component_ref : 
+indirect_ref : 
+parm_decl this: 
+pointer_type : 
+record_type : 
+type_decl Object1: 
+field_decl tmp1: 
+integer_cst 64: 
+field_decl tmp2: 
+integer_cst 64: 
+type_decl Object1: 
+integer_cst 64: 
+field_decl tmp1: 
+integer_cst 64: 
+call_expr : 
+addr_expr : 
+function_decl operator new: 
+integer_cst 32: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
+cleanup_point_expr : 
+expr_stmt : 
+call_expr : 
+addr_expr : 
+function_decl paranuckerInternalTest: 
diff --git a/test/test36.cpp b/test/test36.cpp
index 84e9dea..ecc52f5 100644
--- a/test/test36.cpp
+++ b/test/test36.cpp
@@ -78,4 +78,19 @@ class Object1
         paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
         paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
     }
+
+    void func4()
+    {
+        tmp1 = new Data1;
+        paranuckerInternalTest("=", "knownVars", "this->tmp1");
+        paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1");
+        paranuckerInternalTest("=", "knownNullVars", "");
+        paranuckerInternalTest("=", "needCheckNullVars", "");
+        paranuckerInternalTest("=", "addNullVars", "");
+        paranuckerInternalTest("=", "removeNullVarsAll", "");
+        paranuckerInternalTest("=", "linkedVars", "ptr1");
+        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+    }
 };