path: root/test/test30-01.txt

function_decl getData test30.cpp 23:12
- isPublic: 1
 method_type - function type
  pointer_type - method return type
   record_type - nested type
    type_decl Data1 test30.cpp 3:8 - type name
    - isAutogenerated: 1
    field_decl val test30.cpp 5:9 - field
    - signed
     integer_cst 32 - decl size
    field_decl ptrval test30.cpp 6:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl arr test30.cpp 7:14 - field
    - signed
     integer_cst 96 - decl size
    type_decl Data1 test30.cpp 4:1 - field
    - isAutogenerated: 1
  record_type - method base type
   type_decl Object1 test30.cpp 18:7 - type name
   - isAutogenerated: 1
   field_decl tmp1 test30.cpp 20:12 - field
   - unsigned
    integer_cst 64 - decl size
   field_decl tmp2 test30.cpp 21:12 - field
   - unsigned
    integer_cst 64 - decl size
   type_decl Object1 test30.cpp 19:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test30.cpp 18:7 - type name
     - isAutogenerated: 1
     field_decl tmp1 test30.cpp 20:12 - field
     - unsigned
      integer_cst 64 - decl size
     field_decl tmp2 test30.cpp 21:12 - field
     - unsigned
      integer_cst 64 - decl size
     type_decl Object1 test30.cpp 19:1 - field
     - isAutogenerated: 1
   tree_list - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test30.cpp 24:5 - function result
 - isAutogenerated: 1
  pointer_type - result type
   record_type - nested type
    type_decl Data1 test30.cpp 3:8 - type name
    - isAutogenerated: 1
    field_decl val test30.cpp 5:9 - field
    - signed
     integer_cst 32 - decl size
    field_decl ptrval test30.cpp 6:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl arr test30.cpp 7:14 - field
    - signed
     integer_cst 96 - decl size
    type_decl Data1 test30.cpp 4:1 - field
    - isAutogenerated: 1
  integer_cst 64 - decl size
 - isUsed: 1
 parm_decl this test30.cpp 23:20 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test30.cpp 18:7 - type name
    - isAutogenerated: 1
    field_decl tmp1 test30.cpp 20:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl tmp2 test30.cpp 21:12 - field
    - unsigned
     integer_cst 64 - decl size
    type_decl Object1 test30.cpp 19:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 return_expr test30.cpp 25:16 - code
  init_expr - operand
   result_decl test30.cpp 24:5 - operand
   - isAutogenerated: 1
    pointer_type - result type
     record_type - nested type
      type_decl Data1 test30.cpp 3:8 - type name
      - isAutogenerated: 1
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
      field_decl ptrval test30.cpp 6:12 - field
      - unsigned
       integer_cst 64 - decl size
      field_decl arr test30.cpp 7:14 - field
      - signed
       integer_cst 96 - decl size
      type_decl Data1 test30.cpp 4:1 - field
      - isAutogenerated: 1
    integer_cst 64 - decl size
   component_ref test30.cpp 25:16 - operand
    indirect_ref - object
     nop_expr - ref
      - isUsed: 1
      parm_decl this test30.cpp 23:20 - operand
      - isAutogenerated: 1
       pointer_type - decl type
        record_type - nested type
         type_decl Object1 test30.cpp 18:7 - type name
         - isAutogenerated: 1
         field_decl tmp1 test30.cpp 20:12 - field
         - unsigned
          integer_cst 64 - decl size
         field_decl tmp2 test30.cpp 21:12 - field
         - unsigned
          integer_cst 64 - decl size
         type_decl Object1 test30.cpp 19:1 - field
         - isAutogenerated: 1
       integer_cst 64 - parm size
    field_decl tmp1 test30.cpp 20:12 - field
    - unsigned
     integer_cst 64 - decl size
function_decl func1 test30.cpp 28: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 test30.cpp 18:7 - type name
   - isAutogenerated: 1
   field_decl tmp1 test30.cpp 20:12 - field
   - unsigned
    integer_cst 64 - decl size
   field_decl tmp2 test30.cpp 21:12 - field
   - unsigned
    integer_cst 64 - decl size
   type_decl Object1 test30.cpp 19:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test30.cpp 18:7 - type name
     - isAutogenerated: 1
     field_decl tmp1 test30.cpp 20:12 - field
     - unsigned
      integer_cst 64 - decl size
     field_decl tmp2 test30.cpp 21:12 - field
     - unsigned
      integer_cst 64 - decl size
     type_decl Object1 test30.cpp 19:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test30.cpp 3:8 - type name
      - isAutogenerated: 1
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
      field_decl ptrval test30.cpp 6:12 - field
      - unsigned
       integer_cst 64 - decl size
      field_decl arr test30.cpp 7:14 - field
      - signed
       integer_cst 96 - decl size
      type_decl Data1 test30.cpp 4:1 - field
      - isAutogenerated: 1
    tree_list - chain
     void_type - value
      type_decl void <built-in> 0:0 - type name
      - isAutogenerated: 1
 result_decl test30.cpp 29:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test30.cpp 28:27 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test30.cpp 18:7 - type name
    - isAutogenerated: 1
    field_decl tmp1 test30.cpp 20:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl tmp2 test30.cpp 21:12 - field
    - unsigned
     integer_cst 64 - decl size
    type_decl Object1 test30.cpp 19:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test30.cpp 28:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test30.cpp 3:8 - type name
    - isAutogenerated: 1
    field_decl val test30.cpp 5:9 - field
    - signed
     integer_cst 32 - decl size
    field_decl ptrval test30.cpp 6:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl arr test30.cpp 7:14 - field
    - signed
     integer_cst 96 - decl size
    type_decl Data1 test30.cpp 4:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 statement_list - code
  cleanup_point_expr test30.cpp 30:57 - statement
   expr_stmt test30.cpp 30:57 - operand
    call_expr test30.cpp 30:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 31:60 - statement
   expr_stmt test30.cpp 31:60 - operand
    call_expr test30.cpp 31:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 - operand
       - stringLength: 1
  cleanup_point_expr test30.cpp 32:57 - statement
   expr_stmt test30.cpp 32:57 - operand
    call_expr test30.cpp 32:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 33:65 - statement
   expr_stmt test30.cpp 33:65 - operand
    call_expr test30.cpp 33:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  if_stmt test30.cpp 38:9 - statement
   truth_orif_expr test30.cpp 38:19 - condition
    eq_expr test30.cpp 38:14 - operand
     - isUsed: 1
     parm_decl ptr1 test30.cpp 28:23 - operand
      pointer_type - decl type
       record_type - nested type
        type_decl Data1 test30.cpp 3:8 - type name
        - isAutogenerated: 1
        field_decl val test30.cpp 5:9 - field
        - signed
         integer_cst 32 - decl size
        field_decl ptrval test30.cpp 6:12 - field
        - unsigned
         integer_cst 64 - decl size
        field_decl arr test30.cpp 7:14 - field
        - signed
         integer_cst 96 - decl size
        type_decl Data1 test30.cpp 4:1 - field
        - isAutogenerated: 1
      integer_cst 64 - parm size
     integer_cst 0 - operand
    eq_expr test30.cpp 38:32 - operand
     component_ref test30.cpp 38:28 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test30.cpp 28:23 - ref
        pointer_type - decl type
         record_type - nested type
          type_decl Data1 test30.cpp 3:8 - type name
          - isAutogenerated: 1
          field_decl val test30.cpp 5:9 - field
          - signed
           integer_cst 32 - decl size
          field_decl ptrval test30.cpp 6:12 - field
          - unsigned
           integer_cst 64 - decl size
          field_decl arr test30.cpp 7:14 - field
          - signed
           integer_cst 96 - decl size
          type_decl Data1 test30.cpp 4:1 - field
          - isAutogenerated: 1
        integer_cst 64 - parm size
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
     integer_cst 10 - operand
   statement_list - then
    cleanup_point_expr test30.cpp 40:61 - statement
     expr_stmt test30.cpp 40:61 - operand
      call_expr test30.cpp 40:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 41:64 - statement
     expr_stmt test30.cpp 41:64 - operand
      call_expr test30.cpp 41:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 - operand
         - stringLength: 1
    cleanup_point_expr test30.cpp 42:61 - statement
     expr_stmt test30.cpp 42:61 - operand
      call_expr test30.cpp 42:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 43:69 - statement
     expr_stmt test30.cpp 43:69 - operand
      call_expr test30.cpp 43:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    return_expr test30.cpp 44:13 - statement
   statement_list - else
    cleanup_point_expr test30.cpp 48:61 - statement
     expr_stmt test30.cpp 48:61 - operand
      call_expr test30.cpp 48:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 49:68 - statement
     expr_stmt test30.cpp 49:68 - operand
      call_expr test30.cpp 49:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 50:61 - statement
     expr_stmt test30.cpp 50:61 - operand
      call_expr test30.cpp 50:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 51:65 - statement
     expr_stmt test30.cpp 51:65 - operand
      call_expr test30.cpp 51:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 53:57 - statement
   expr_stmt test30.cpp 53:57 - operand
    call_expr test30.cpp 53:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 54:64 - statement
   expr_stmt test30.cpp 54:64 - operand
    call_expr test30.cpp 54:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 55:57 - statement
   expr_stmt test30.cpp 55:57 - operand
    call_expr test30.cpp 55:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 56:61 - statement
   expr_stmt test30.cpp 56:61 - operand
    call_expr test30.cpp 56:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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
function_decl func2 test30.cpp 59: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 test30.cpp 18:7 - type name
   - isAutogenerated: 1
   field_decl tmp1 test30.cpp 20:12 - field
   - unsigned
    integer_cst 64 - decl size
   field_decl tmp2 test30.cpp 21:12 - field
   - unsigned
    integer_cst 64 - decl size
   type_decl Object1 test30.cpp 19:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test30.cpp 18:7 - type name
     - isAutogenerated: 1
     field_decl tmp1 test30.cpp 20:12 - field
     - unsigned
      integer_cst 64 - decl size
     field_decl tmp2 test30.cpp 21:12 - field
     - unsigned
      integer_cst 64 - decl size
     type_decl Object1 test30.cpp 19:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test30.cpp 3:8 - type name
      - isAutogenerated: 1
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
      field_decl ptrval test30.cpp 6:12 - field
      - unsigned
       integer_cst 64 - decl size
      field_decl arr test30.cpp 7:14 - field
      - signed
       integer_cst 96 - decl size
      type_decl Data1 test30.cpp 4:1 - field
      - isAutogenerated: 1
    tree_list - chain
     void_type - value
      type_decl void <built-in> 0:0 - type name
      - isAutogenerated: 1
 result_decl test30.cpp 60:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test30.cpp 59:27 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test30.cpp 18:7 - type name
    - isAutogenerated: 1
    field_decl tmp1 test30.cpp 20:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl tmp2 test30.cpp 21:12 - field
    - unsigned
     integer_cst 64 - decl size
    type_decl Object1 test30.cpp 19:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test30.cpp 59:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test30.cpp 3:8 - type name
    - isAutogenerated: 1
    field_decl val test30.cpp 5:9 - field
    - signed
     integer_cst 32 - decl size
    field_decl ptrval test30.cpp 6:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl arr test30.cpp 7:14 - field
    - signed
     integer_cst 96 - decl size
    type_decl Data1 test30.cpp 4:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 statement_list - code
  cleanup_point_expr test30.cpp 61:57 - statement
   expr_stmt test30.cpp 61:57 - operand
    call_expr test30.cpp 61:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 62:60 - statement
   expr_stmt test30.cpp 62:60 - operand
    call_expr test30.cpp 62:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 - operand
       - stringLength: 1
  cleanup_point_expr test30.cpp 63:57 - statement
   expr_stmt test30.cpp 63:57 - operand
    call_expr test30.cpp 63:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 64:65 - statement
   expr_stmt test30.cpp 64:65 - operand
    call_expr test30.cpp 64:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  if_stmt test30.cpp 69:9 - statement
   truth_andif_expr test30.cpp 69:19 - condition
    eq_expr test30.cpp 69:14 - operand
     - isUsed: 1
     parm_decl ptr1 test30.cpp 59:23 - operand
      pointer_type - decl type
       record_type - nested type
        type_decl Data1 test30.cpp 3:8 - type name
        - isAutogenerated: 1
        field_decl val test30.cpp 5:9 - field
        - signed
         integer_cst 32 - decl size
        field_decl ptrval test30.cpp 6:12 - field
        - unsigned
         integer_cst 64 - decl size
        field_decl arr test30.cpp 7:14 - field
        - signed
         integer_cst 96 - decl size
        type_decl Data1 test30.cpp 4:1 - field
        - isAutogenerated: 1
      integer_cst 64 - parm size
     integer_cst 0 - operand
    eq_expr test30.cpp 69:32 - operand
     component_ref test30.cpp 69:28 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test30.cpp 59:23 - ref
        pointer_type - decl type
         record_type - nested type
          type_decl Data1 test30.cpp 3:8 - type name
          - isAutogenerated: 1
          field_decl val test30.cpp 5:9 - field
          - signed
           integer_cst 32 - decl size
          field_decl ptrval test30.cpp 6:12 - field
          - unsigned
           integer_cst 64 - decl size
          field_decl arr test30.cpp 7:14 - field
          - signed
           integer_cst 96 - decl size
          type_decl Data1 test30.cpp 4:1 - field
          - isAutogenerated: 1
        integer_cst 64 - parm size
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
     integer_cst 10 - operand
   statement_list - then
    cleanup_point_expr test30.cpp 71:61 - statement
     expr_stmt test30.cpp 71:61 - operand
      call_expr test30.cpp 71:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 72:64 - statement
     expr_stmt test30.cpp 72:64 - operand
      call_expr test30.cpp 72:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 - operand
         - stringLength: 1
    cleanup_point_expr test30.cpp 73:65 - statement
     expr_stmt test30.cpp 73:65 - operand
      call_expr test30.cpp 73:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 74:69 - statement
     expr_stmt test30.cpp 74:69 - operand
      call_expr test30.cpp 74:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    return_expr test30.cpp 75:13 - statement
   statement_list - else
    cleanup_point_expr test30.cpp 79:61 - statement
     expr_stmt test30.cpp 79:61 - operand
      call_expr test30.cpp 79:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 80:64 - statement
     expr_stmt test30.cpp 80:64 - operand
      call_expr test30.cpp 80:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 - operand
         - stringLength: 1
    cleanup_point_expr test30.cpp 81:61 - statement
     expr_stmt test30.cpp 81:61 - operand
      call_expr test30.cpp 81:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 82:69 - statement
     expr_stmt test30.cpp 82:69 - operand
      call_expr test30.cpp 82:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
  cleanup_point_expr test30.cpp 84:57 - statement
   expr_stmt test30.cpp 84:57 - operand
    call_expr test30.cpp 84:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 85:60 - statement
   expr_stmt test30.cpp 85:60 - operand
    call_expr test30.cpp 85:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 - operand
       - stringLength: 1
  cleanup_point_expr test30.cpp 86:57 - statement
   expr_stmt test30.cpp 86:57 - operand
    call_expr test30.cpp 86:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 87:65 - statement
   expr_stmt test30.cpp 87:65 - operand
    call_expr test30.cpp 87:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
function_decl func3 test30.cpp 90: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 test30.cpp 18:7 - type name
   - isAutogenerated: 1
   field_decl tmp1 test30.cpp 20:12 - field
   - unsigned
    integer_cst 64 - decl size
   field_decl tmp2 test30.cpp 21:12 - field
   - unsigned
    integer_cst 64 - decl size
   type_decl Object1 test30.cpp 19:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test30.cpp 18:7 - type name
     - isAutogenerated: 1
     field_decl tmp1 test30.cpp 20:12 - field
     - unsigned
      integer_cst 64 - decl size
     field_decl tmp2 test30.cpp 21:12 - field
     - unsigned
      integer_cst 64 - decl size
     type_decl Object1 test30.cpp 19:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test30.cpp 3:8 - type name
      - isAutogenerated: 1
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
      field_decl ptrval test30.cpp 6:12 - field
      - unsigned
       integer_cst 64 - decl size
      field_decl arr test30.cpp 7:14 - field
      - signed
       integer_cst 96 - decl size
      type_decl Data1 test30.cpp 4:1 - field
      - isAutogenerated: 1
    tree_list - chain
     void_type - value
      type_decl void <built-in> 0:0 - type name
      - isAutogenerated: 1
 result_decl test30.cpp 91:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test30.cpp 90:27 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test30.cpp 18:7 - type name
    - isAutogenerated: 1
    field_decl tmp1 test30.cpp 20:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl tmp2 test30.cpp 21:12 - field
    - unsigned
     integer_cst 64 - decl size
    type_decl Object1 test30.cpp 19:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test30.cpp 90:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test30.cpp 3:8 - type name
    - isAutogenerated: 1
    field_decl val test30.cpp 5:9 - field
    - signed
     integer_cst 32 - decl size
    field_decl ptrval test30.cpp 6:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl arr test30.cpp 7:14 - field
    - signed
     integer_cst 96 - decl size
    type_decl Data1 test30.cpp 4:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 statement_list - code
  cleanup_point_expr test30.cpp 92:57 - statement
   expr_stmt test30.cpp 92:57 - operand
    call_expr test30.cpp 92:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 93:60 - statement
   expr_stmt test30.cpp 93:60 - operand
    call_expr test30.cpp 93:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 - operand
       - stringLength: 1
  cleanup_point_expr test30.cpp 94:57 - statement
   expr_stmt test30.cpp 94:57 - operand
    call_expr test30.cpp 94:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 95:65 - statement
   expr_stmt test30.cpp 95:65 - operand
    call_expr test30.cpp 95:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  if_stmt test30.cpp 100:9 - statement
   truth_andif_expr test30.cpp 100:18 - condition
    ne_expr - operand
     - isUsed: 1
     parm_decl ptr1 test30.cpp 90:23 - operand
      pointer_type - decl type
       record_type - nested type
        type_decl Data1 test30.cpp 3:8 - type name
        - isAutogenerated: 1
        field_decl val test30.cpp 5:9 - field
        - signed
         integer_cst 32 - decl size
        field_decl ptrval test30.cpp 6:12 - field
        - unsigned
         integer_cst 64 - decl size
        field_decl arr test30.cpp 7:14 - field
        - signed
         integer_cst 96 - decl size
        type_decl Data1 test30.cpp 4:1 - field
        - isAutogenerated: 1
      integer_cst 64 - parm size
     integer_cst 0 - operand
    eq_expr test30.cpp 100:31 - operand
     component_ref test30.cpp 100:27 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test30.cpp 90:23 - ref
        pointer_type - decl type
         record_type - nested type
          type_decl Data1 test30.cpp 3:8 - type name
          - isAutogenerated: 1
          field_decl val test30.cpp 5:9 - field
          - signed
           integer_cst 32 - decl size
          field_decl ptrval test30.cpp 6:12 - field
          - unsigned
           integer_cst 64 - decl size
          field_decl arr test30.cpp 7:14 - field
          - signed
           integer_cst 96 - decl size
          type_decl Data1 test30.cpp 4:1 - field
          - isAutogenerated: 1
        integer_cst 64 - parm size
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
     integer_cst 10 - operand
   statement_list - then
    cleanup_point_expr test30.cpp 102:61 - statement
     expr_stmt test30.cpp 102:61 - operand
      call_expr test30.cpp 102:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 103:68 - statement
     expr_stmt test30.cpp 103:68 - operand
      call_expr test30.cpp 103:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 104:61 - statement
     expr_stmt test30.cpp 104:61 - operand
      call_expr test30.cpp 104:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 105:65 - statement
     expr_stmt test30.cpp 105:65 - operand
      call_expr test30.cpp 105:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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
    return_expr test30.cpp 106:13 - statement
   statement_list - else
    cleanup_point_expr test30.cpp 110:61 - statement
     expr_stmt test30.cpp 110:61 - operand
      call_expr test30.cpp 110:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
    cleanup_point_expr test30.cpp 111:64 - statement
     expr_stmt test30.cpp 111:64 - operand
      call_expr test30.cpp 111:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 - operand
         - stringLength: 1
    cleanup_point_expr test30.cpp 112:61 - statement
     expr_stmt test30.cpp 112:61 - operand
      call_expr test30.cpp 112:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 113:69 - statement
     expr_stmt test30.cpp 113:69 - operand
      call_expr test30.cpp 113:35 - expresssion
       addr_expr - function
        function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
         - stringLength: 5
  cleanup_point_expr test30.cpp 115:57 - statement
   expr_stmt test30.cpp 115:57 - operand
    call_expr test30.cpp 115:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 116:60 - statement
   expr_stmt test30.cpp 116:60 - operand
    call_expr test30.cpp 116:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 - operand
       - stringLength: 1
  cleanup_point_expr test30.cpp 117:57 - statement
   expr_stmt test30.cpp 117:57 - operand
    call_expr test30.cpp 117:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 118:65 - statement
   expr_stmt test30.cpp 118:65 - operand
    call_expr test30.cpp 118:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
function_decl func4 test30.cpp 121:10
- isPublic: 1
 method_type - function type
  tree_list - attribute
   identifier_node nonnull - purpose
   tree_list - value
    integer_cst 3 - value
  void_type - method return type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
  record_type - method base type
   type_decl Object1 test30.cpp 18:7 - type name
   - isAutogenerated: 1
   field_decl tmp1 test30.cpp 20:12 - field
   - unsigned
    integer_cst 64 - decl size
   field_decl tmp2 test30.cpp 21:12 - field
   - unsigned
    integer_cst 64 - decl size
   type_decl Object1 test30.cpp 19:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test30.cpp 18:7 - type name
     - isAutogenerated: 1
     field_decl tmp1 test30.cpp 20:12 - field
     - unsigned
      integer_cst 64 - decl size
     field_decl tmp2 test30.cpp 21:12 - field
     - unsigned
      integer_cst 64 - decl size
     type_decl Object1 test30.cpp 19:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test30.cpp 3:8 - type name
      - isAutogenerated: 1
      field_decl val test30.cpp 5:9 - field
      - signed
       integer_cst 32 - decl size
      field_decl ptrval test30.cpp 6:12 - field
      - unsigned
       integer_cst 64 - decl size
      field_decl arr test30.cpp 7:14 - field
      - signed
       integer_cst 96 - decl size
      type_decl Data1 test30.cpp 4:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test30.cpp 3:8 - type name
       - isAutogenerated: 1
       field_decl val test30.cpp 5:9 - field
       - signed
        integer_cst 32 - decl size
       field_decl ptrval test30.cpp 6:12 - field
       - unsigned
        integer_cst 64 - decl size
       field_decl arr test30.cpp 7:14 - field
       - signed
        integer_cst 96 - decl size
       type_decl Data1 test30.cpp 4:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test30.cpp 122:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test30.cpp 121:69 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test30.cpp 18:7 - type name
    - isAutogenerated: 1
    field_decl tmp1 test30.cpp 20:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl tmp2 test30.cpp 21:12 - field
    - unsigned
     integer_cst 64 - decl size
    type_decl Object1 test30.cpp 19:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 parm_decl ptr1 test30.cpp 121:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test30.cpp 3:8 - type name
    - isAutogenerated: 1
    field_decl val test30.cpp 5:9 - field
    - signed
     integer_cst 32 - decl size
    field_decl ptrval test30.cpp 6:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl arr test30.cpp 7:14 - field
    - signed
     integer_cst 96 - decl size
    type_decl Data1 test30.cpp 4:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test30.cpp 121:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test30.cpp 3:8 - type name
    - isAutogenerated: 1
    field_decl val test30.cpp 5:9 - field
    - signed
     integer_cst 32 - decl size
    field_decl ptrval test30.cpp 6:12 - field
    - unsigned
     integer_cst 64 - decl size
    field_decl arr test30.cpp 7:14 - field
    - signed
     integer_cst 96 - decl size
    type_decl Data1 test30.cpp 4:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 statement_list - code
  cleanup_point_expr test30.cpp 123:62 - statement
   expr_stmt test30.cpp 123:62 - operand
    call_expr test30.cpp 123:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 ptr2 - operand
       - stringLength: 10
  cleanup_point_expr test30.cpp 124:64 - statement
   expr_stmt test30.cpp 124:64 - operand
    call_expr test30.cpp 124:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr2 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 125:57 - statement
   expr_stmt test30.cpp 125:57 - operand
    call_expr test30.cpp 125:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 126:65 - statement
   expr_stmt test30.cpp 126:65 - operand
    call_expr test30.cpp 126:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5
  if_stmt test30.cpp 127:9 - statement
   eq_expr test30.cpp 127:14 - condition
    - isUsed: 1
    parm_decl ptr2 test30.cpp 121:36 - operand
     pointer_type - decl type
      record_type - nested type
       type_decl Data1 test30.cpp 3:8 - type name
       - isAutogenerated: 1
       field_decl val test30.cpp 5:9 - field
       - signed
        integer_cst 32 - decl size
       field_decl ptrval test30.cpp 6:12 - field
       - unsigned
        integer_cst 64 - decl size
       field_decl arr test30.cpp 7:14 - field
       - signed
        integer_cst 96 - decl size
       type_decl Data1 test30.cpp 4:1 - field
       - isAutogenerated: 1
     integer_cst 64 - parm size
    integer_cst 0 - operand
   return_expr test30.cpp 128:13 - then
  cleanup_point_expr test30.cpp 129:62 - statement
   expr_stmt test30.cpp 129:62 - operand
    call_expr test30.cpp 129:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 ptr2 - operand
       - stringLength: 10
  cleanup_point_expr test30.cpp 130:64 - statement
   expr_stmt test30.cpp 130:64 - operand
    call_expr test30.cpp 130:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr2 - operand
       - stringLength: 5
  cleanup_point_expr test30.cpp 131:57 - statement
   expr_stmt test30.cpp 131:57 - operand
    call_expr test30.cpp 131:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 test30.cpp 132:65 - statement
   expr_stmt test30.cpp 132:65 - operand
    call_expr test30.cpp 132:31 - expresssion
     addr_expr - function
      function_decl paranuckerInternalTest test30.cpp 16: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 ptr1 - operand
       - stringLength: 5