path: root/test/test12-01.txt

function_decl func1 test12.cpp 11: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 test12.cpp 7:7 - type name
   - isAutogenerated: 1
   field_decl k test12.cpp 9:9 - field
   - signed
    integer_cst 32 - decl size
    integer_type - field 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
   type_decl Object1 test12.cpp 8:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test12.cpp 7:7 - type name
     - isAutogenerated: 1
     field_decl k test12.cpp 9:9 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
     type_decl Object1 test12.cpp 8:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test12.cpp 1:7 - type name
      - isAutogenerated: 1
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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
      type_decl Data1 test12.cpp 2:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test12.cpp 1:7 - type name
       - isAutogenerated: 1
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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
       type_decl Data1 test12.cpp 2:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test12.cpp 12:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test12.cpp 11:40 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test12.cpp 7:7 - type name
    - isAutogenerated: 1
    field_decl k test12.cpp 9:9 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Object1 test12.cpp 8:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test12.cpp 11:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test12.cpp 11:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 bind_expr test12.cpp 13:48 - code
  var_decl val1 test12.cpp 13:13 - operand
   integer_cst 32 - decl size
   cond_expr - initial
    ne_expr - operand
     - isUsed: 1
     parm_decl ptr1 test12.cpp 11:23 - operand
      pointer_type - decl type
       record_type - nested type
        type_decl Data1 test12.cpp 1:7 - type name
        - isAutogenerated: 1
        field_decl val test12.cpp 4:13 - field
        - signed
         integer_cst 32 - decl size
         integer_type - field type
         - precisionBits: 32
         - signed
        type_decl Data1 test12.cpp 2:1 - field
        - isAutogenerated: 1
      integer_cst 64 - parm size
     integer_cst 0 - operand
    component_ref test12.cpp 13:33 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr1 test12.cpp 11:23 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
    component_ref test12.cpp 13:45 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr2 test12.cpp 11:36 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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_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
  decl_expr test12.cpp 13:45 - operand
   var_decl val1 test12.cpp 13:13 - operand
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 11:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 13:33 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 11:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     component_ref test12.cpp 13:45 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 11:36 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
    integer_type - var type 2
    - 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
  block - operand
   var_decl val1 test12.cpp 13:13 - block vars
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 11:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 13:33 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 11:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     component_ref test12.cpp 13:45 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 11:36 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
    integer_type - var type 2
    - 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
function_decl func2 test12.cpp 16: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 test12.cpp 7:7 - type name
   - isAutogenerated: 1
   field_decl k test12.cpp 9:9 - field
   - signed
    integer_cst 32 - decl size
    integer_type - field 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
   type_decl Object1 test12.cpp 8:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test12.cpp 7:7 - type name
     - isAutogenerated: 1
     field_decl k test12.cpp 9:9 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
     type_decl Object1 test12.cpp 8:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test12.cpp 1:7 - type name
      - isAutogenerated: 1
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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
      type_decl Data1 test12.cpp 2:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test12.cpp 1:7 - type name
       - isAutogenerated: 1
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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
       type_decl Data1 test12.cpp 2:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test12.cpp 17:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test12.cpp 16:40 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test12.cpp 7:7 - type name
    - isAutogenerated: 1
    field_decl k test12.cpp 9:9 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Object1 test12.cpp 8:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test12.cpp 16:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test12.cpp 16:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 bind_expr test12.cpp 18:51 - code
  var_decl val1 test12.cpp 18:13 - operand
   integer_cst 32 - decl size
   cond_expr - initial
    eq_expr test12.cpp 18:22 - operand
     - isUsed: 1
     parm_decl ptr1 test12.cpp 16:23 - operand
      pointer_type - decl type
       record_type - nested type
        type_decl Data1 test12.cpp 1:7 - type name
        - isAutogenerated: 1
        field_decl val test12.cpp 4:13 - field
        - signed
         integer_cst 32 - decl size
         integer_type - field type
         - precisionBits: 32
         - signed
        type_decl Data1 test12.cpp 2:1 - field
        - isAutogenerated: 1
      integer_cst 64 - parm size
     integer_cst 0 - operand
    component_ref test12.cpp 18:36 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr1 test12.cpp 16:23 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
    component_ref test12.cpp 18:48 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr2 test12.cpp 16:36 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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_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
  decl_expr test12.cpp 18:48 - operand
   var_decl val1 test12.cpp 18:13 - operand
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     eq_expr test12.cpp 18:22 - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 16:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 18:36 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 16:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     component_ref test12.cpp 18:48 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 16:36 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
    integer_type - var type 2
    - 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
  block - operand
   var_decl val1 test12.cpp 18:13 - block vars
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     eq_expr test12.cpp 18:22 - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 16:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 18:36 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 16:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     component_ref test12.cpp 18:48 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 16:36 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
    integer_type - var type 2
    - 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
function_decl func3 test12.cpp 21: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 test12.cpp 7:7 - type name
   - isAutogenerated: 1
   field_decl k test12.cpp 9:9 - field
   - signed
    integer_cst 32 - decl size
    integer_type - field 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
   type_decl Object1 test12.cpp 8:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test12.cpp 7:7 - type name
     - isAutogenerated: 1
     field_decl k test12.cpp 9:9 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
     type_decl Object1 test12.cpp 8:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test12.cpp 1:7 - type name
      - isAutogenerated: 1
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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
      type_decl Data1 test12.cpp 2:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test12.cpp 1:7 - type name
       - isAutogenerated: 1
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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
       type_decl Data1 test12.cpp 2:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test12.cpp 22:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test12.cpp 21:40 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test12.cpp 7:7 - type name
    - isAutogenerated: 1
    field_decl k test12.cpp 9:9 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Object1 test12.cpp 8:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test12.cpp 21:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test12.cpp 21:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 bind_expr test12.cpp 23:59 - code
  var_decl val1 test12.cpp 23:13 - operand
   integer_cst 32 - decl size
   cond_expr - initial
    truth_andif_expr test12.cpp 23:26 - operand
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 21:23 - operand
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     eq_expr test12.cpp 23:30 - operand
      - isUsed: 1
      parm_decl ptr2 test12.cpp 21:36 - operand
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
      integer_cst 0 - operand
    component_ref test12.cpp 23:44 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr1 test12.cpp 21:23 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
    component_ref test12.cpp 23:56 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr2 test12.cpp 21:36 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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_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
  decl_expr test12.cpp 23:56 - operand
   var_decl val1 test12.cpp 23:13 - operand
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     truth_andif_expr test12.cpp 23:26 - operand
      ne_expr - operand
       - isUsed: 1
       parm_decl ptr1 test12.cpp 21:23 - operand
       integer_cst 0 - operand
      eq_expr test12.cpp 23:30 - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 21:36 - operand
       integer_cst 0 - operand
     component_ref test12.cpp 23:44 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 21:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     component_ref test12.cpp 23:56 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 21:36 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
    integer_type - var type 2
    - 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
  block - operand
   var_decl val1 test12.cpp 23:13 - block vars
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     truth_andif_expr test12.cpp 23:26 - operand
      ne_expr - operand
       - isUsed: 1
       parm_decl ptr1 test12.cpp 21:23 - operand
       integer_cst 0 - operand
      eq_expr test12.cpp 23:30 - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 21:36 - operand
       integer_cst 0 - operand
     component_ref test12.cpp 23:44 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 21:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     component_ref test12.cpp 23:56 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 21:36 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
    integer_type - var type 2
    - 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
function_decl func4 test12.cpp 26: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 test12.cpp 7:7 - type name
   - isAutogenerated: 1
   field_decl k test12.cpp 9:9 - field
   - signed
    integer_cst 32 - decl size
    integer_type - field 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
   type_decl Object1 test12.cpp 8:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test12.cpp 7:7 - type name
     - isAutogenerated: 1
     field_decl k test12.cpp 9:9 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
     type_decl Object1 test12.cpp 8:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test12.cpp 1:7 - type name
      - isAutogenerated: 1
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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
      type_decl Data1 test12.cpp 2:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test12.cpp 1:7 - type name
       - isAutogenerated: 1
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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
       type_decl Data1 test12.cpp 2:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test12.cpp 27:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test12.cpp 26:40 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test12.cpp 7:7 - type name
    - isAutogenerated: 1
    field_decl k test12.cpp 9:9 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Object1 test12.cpp 8:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test12.cpp 26:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test12.cpp 26:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 if_stmt test12.cpp 28:9 - code
  eq_expr test12.cpp 28:39 - condition
   component_ref test12.cpp 28:35 - operand
    indirect_ref - object
     cond_expr - ref
      ne_expr - operand
       - isUsed: 1
       parm_decl ptr1 test12.cpp 26:23 - operand
        pointer_type - decl type
         record_type - nested type
          type_decl Data1 test12.cpp 1:7 - type name
          - isAutogenerated: 1
          field_decl val test12.cpp 4:13 - field
          - signed
           integer_cst 32 - decl size
           integer_type - field 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
          type_decl Data1 test12.cpp 2:1 - field
          - isAutogenerated: 1
        integer_cst 64 - parm size
       integer_cst 0 - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 26:23 - operand
       pointer_type - decl type
        record_type - nested type
         type_decl Data1 test12.cpp 1:7 - type name
         - isAutogenerated: 1
         field_decl val test12.cpp 4:13 - field
         - signed
          integer_cst 32 - decl size
          integer_type - field 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
         type_decl Data1 test12.cpp 2:1 - field
         - isAutogenerated: 1
       integer_cst 64 - parm size
      - isUsed: 1
      parm_decl ptr2 test12.cpp 26:36 - operand
       pointer_type - decl type
        record_type - nested type
         type_decl Data1 test12.cpp 1:7 - type name
         - isAutogenerated: 1
         field_decl val test12.cpp 4:13 - field
         - signed
          integer_cst 32 - decl size
          integer_type - field 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
         type_decl Data1 test12.cpp 2:1 - field
         - isAutogenerated: 1
       integer_cst 64 - parm size
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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 100 - operand
  cleanup_point_expr test12.cpp 30:28 - then
   expr_stmt test12.cpp 30:28 - operand
    convert_expr - expresssion
     modify_expr - operand
      component_ref test12.cpp 30:19 - operand
       indirect_ref - object
        - isUsed: 1
        parm_decl ptr1 test12.cpp 26:23 - ref
         pointer_type - decl type
          record_type - nested type
           type_decl Data1 test12.cpp 1:7 - type name
           - isAutogenerated: 1
           field_decl val test12.cpp 4:13 - field
           - signed
            integer_cst 32 - decl size
            integer_type - field 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
           type_decl Data1 test12.cpp 2:1 - field
           - isAutogenerated: 1
         integer_cst 64 - parm size
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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 200 - operand
  cleanup_point_expr test12.cpp 34:28 - else
   expr_stmt test12.cpp 34:28 - operand
    convert_expr - expresssion
     modify_expr - operand
      component_ref test12.cpp 34:19 - operand
       indirect_ref - object
        - isUsed: 1
        parm_decl ptr2 test12.cpp 26:36 - ref
         pointer_type - decl type
          record_type - nested type
           type_decl Data1 test12.cpp 1:7 - type name
           - isAutogenerated: 1
           field_decl val test12.cpp 4:13 - field
           - signed
            integer_cst 32 - decl size
            integer_type - field 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
           type_decl Data1 test12.cpp 2:1 - field
           - isAutogenerated: 1
         integer_cst 64 - parm size
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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 300 - operand
function_decl func5 test12.cpp 38: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 test12.cpp 7:7 - type name
   - isAutogenerated: 1
   field_decl k test12.cpp 9:9 - field
   - signed
    integer_cst 32 - decl size
    integer_type - field 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
   type_decl Object1 test12.cpp 8:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test12.cpp 7:7 - type name
     - isAutogenerated: 1
     field_decl k test12.cpp 9:9 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
     type_decl Object1 test12.cpp 8:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test12.cpp 1:7 - type name
      - isAutogenerated: 1
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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
      type_decl Data1 test12.cpp 2:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test12.cpp 1:7 - type name
       - isAutogenerated: 1
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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
       type_decl Data1 test12.cpp 2:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test12.cpp 39:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test12.cpp 38:40 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test12.cpp 7:7 - type name
    - isAutogenerated: 1
    field_decl k test12.cpp 9:9 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Object1 test12.cpp 8:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test12.cpp 38:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test12.cpp 38:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 bind_expr test12.cpp 40:44 - code
  var_decl tmp test12.cpp 40:13 - operand
   integer_cst 32 - decl size
   component_ref test12.cpp 40:41 - initial
    indirect_ref - object
     cond_expr - ref
      ne_expr - operand
       - isUsed: 1
       parm_decl ptr1 test12.cpp 38:23 - operand
        pointer_type - decl type
        integer_cst 64 - parm size
       integer_cst 0 - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 38:23 - operand
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
      - isUsed: 1
      parm_decl ptr2 test12.cpp 38:36 - operand
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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_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
  decl_expr test12.cpp 40:41 - operand
   var_decl tmp test12.cpp 40:13 - operand
    integer_cst 32 - decl size 2
    component_ref test12.cpp 40:41 - initial 2
     indirect_ref - object
      cond_expr - ref
       ne_expr - operand
        - isUsed: 1
        parm_decl ptr1 test12.cpp 38:23 - operand
        integer_cst 0 - operand
       - isUsed: 1
       parm_decl ptr1 test12.cpp 38:23 - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 38:36 - operand
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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_type - var type 2
    - 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
  block - operand
   var_decl tmp test12.cpp 40:13 - block vars
    integer_cst 32 - decl size 2
    component_ref test12.cpp 40:41 - initial 2
     indirect_ref - object
      cond_expr - ref
       ne_expr - operand
        - isUsed: 1
        parm_decl ptr1 test12.cpp 38:23 - operand
        integer_cst 0 - operand
       - isUsed: 1
       parm_decl ptr1 test12.cpp 38:23 - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 38:36 - operand
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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_type - var type 2
    - 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
function_decl func6 test12.cpp 43: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 test12.cpp 7:7 - type name
   - isAutogenerated: 1
   field_decl k test12.cpp 9:9 - field
   - signed
    integer_cst 32 - decl size
    integer_type - field 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
   type_decl Object1 test12.cpp 8:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test12.cpp 7:7 - type name
     - isAutogenerated: 1
     field_decl k test12.cpp 9:9 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
     type_decl Object1 test12.cpp 8:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test12.cpp 1:7 - type name
      - isAutogenerated: 1
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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
      type_decl Data1 test12.cpp 2:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test12.cpp 1:7 - type name
       - isAutogenerated: 1
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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
       type_decl Data1 test12.cpp 2:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test12.cpp 44:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test12.cpp 43:40 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test12.cpp 7:7 - type name
    - isAutogenerated: 1
    field_decl k test12.cpp 9:9 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Object1 test12.cpp 8:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test12.cpp 43:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test12.cpp 43:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 bind_expr test12.cpp 45:60 - code
  var_decl tmp test12.cpp 45:13 - operand
   integer_cst 32 - decl size
   cond_expr - initial
    ne_expr - operand
     - isUsed: 1
     parm_decl ptr1 test12.cpp 43:23 - operand
      pointer_type - decl type
       record_type - nested type
        type_decl Data1 test12.cpp 1:7 - type name
        - isAutogenerated: 1
        field_decl val test12.cpp 4:13 - field
        - signed
         integer_cst 32 - decl size
         integer_type - field type
         - precisionBits: 32
         - signed
        type_decl Data1 test12.cpp 2:1 - field
        - isAutogenerated: 1
      integer_cst 64 - parm size
     integer_cst 0 - operand
    component_ref test12.cpp 45:32 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr1 test12.cpp 43:23 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
    cond_expr - operand
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr2 test12.cpp 43:36 - operand
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 45:52 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 43:36 - ref
        pointer_type - decl type
        integer_cst 64 - parm size
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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 0 - operand
   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
  decl_expr test12.cpp 45:59 - operand
   var_decl tmp test12.cpp 45:13 - operand
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 43:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 45:32 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 43:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     cond_expr - operand
      ne_expr - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 43:36 - operand
       integer_cst 0 - operand
      component_ref test12.cpp 45:52 - operand
       indirect_ref - object
        - isUsed: 1
        parm_decl ptr2 test12.cpp 43:36 - ref
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field type
        - precisionBits: 32
        - signed
      integer_cst 0 - operand
    integer_type - var type 2
    - 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
  block - operand
   var_decl tmp test12.cpp 45:13 - block vars
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 43:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 45:32 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 43:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     cond_expr - operand
      ne_expr - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 43:36 - operand
       integer_cst 0 - operand
      component_ref test12.cpp 45:52 - operand
       indirect_ref - object
        - isUsed: 1
        parm_decl ptr2 test12.cpp 43:36 - ref
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field type
        - precisionBits: 32
        - signed
      integer_cst 0 - operand
    integer_type - var type 2
    - 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
function_decl func7 test12.cpp 48: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 test12.cpp 7:7 - type name
   - isAutogenerated: 1
   field_decl k test12.cpp 9:9 - field
   - signed
    integer_cst 32 - decl size
    integer_type - field 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
   type_decl Object1 test12.cpp 8:1 - field
   - isAutogenerated: 1
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     type_decl Object1 test12.cpp 7:7 - type name
     - isAutogenerated: 1
     field_decl k test12.cpp 9:9 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
     type_decl Object1 test12.cpp 8:1 - field
     - isAutogenerated: 1
   tree_list - chain
    pointer_type - value
     record_type - nested type
      type_decl Data1 test12.cpp 1:7 - type name
      - isAutogenerated: 1
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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
      type_decl Data1 test12.cpp 2:1 - field
      - isAutogenerated: 1
    tree_list - chain
     pointer_type - value
      record_type - nested type
       type_decl Data1 test12.cpp 1:7 - type name
       - isAutogenerated: 1
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field 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
       type_decl Data1 test12.cpp 2:1 - field
       - isAutogenerated: 1
     tree_list - chain
      void_type - value
       type_decl void <built-in> 0:0 - type name
       - isAutogenerated: 1
 result_decl test12.cpp 49:5 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 parm_decl this test12.cpp 48:40 - argument
 - isAutogenerated: 1
  pointer_type - decl type
   record_type - nested type
    type_decl Object1 test12.cpp 7:7 - type name
    - isAutogenerated: 1
    field_decl k test12.cpp 9:9 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Object1 test12.cpp 8:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr1 test12.cpp 48:23 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test12.cpp 48:36 - argument
  pointer_type - decl type
   record_type - nested type
    type_decl Data1 test12.cpp 1:7 - type name
    - isAutogenerated: 1
    field_decl val test12.cpp 4:13 - field
    - signed
     integer_cst 32 - decl size
     integer_type - field 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
    type_decl Data1 test12.cpp 2:1 - field
    - isAutogenerated: 1
  integer_cst 64 - parm size
 bind_expr test12.cpp 50:61 - code
  var_decl tmp test12.cpp 50:13 - operand
   integer_cst 32 - decl size
   cond_expr - initial
    ne_expr - operand
     - isUsed: 1
     parm_decl ptr1 test12.cpp 48:23 - operand
      pointer_type - decl type
       record_type - nested type
        type_decl Data1 test12.cpp 1:7 - type name
        - isAutogenerated: 1
        field_decl val test12.cpp 4:13 - field
        - signed
         integer_cst 32 - decl size
         integer_type - field type
         - precisionBits: 32
         - signed
        type_decl Data1 test12.cpp 2:1 - field
        - isAutogenerated: 1
      integer_cst 64 - parm size
     integer_cst 0 - operand
    component_ref test12.cpp 50:32 - operand
     indirect_ref - object
      - isUsed: 1
      parm_decl ptr1 test12.cpp 48:23 - ref
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
     field_decl val test12.cpp 4:13 - field
     - signed
      integer_cst 32 - decl size
      integer_type - field 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
    cond_expr - operand
     eq_expr test12.cpp 50:40 - operand
      - isUsed: 1
      parm_decl ptr2 test12.cpp 48:36 - operand
       pointer_type - decl type
        record_type - nested type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 50:53 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr2 test12.cpp 48:36 - ref
        pointer_type - decl type
        integer_cst 64 - parm size
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field 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 0 - operand
   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
  decl_expr test12.cpp 50:60 - operand
   var_decl tmp test12.cpp 50:13 - operand
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 48:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 50:32 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 48:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     cond_expr - operand
      eq_expr test12.cpp 50:40 - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 48:36 - operand
       integer_cst 0 - operand
      component_ref test12.cpp 50:53 - operand
       indirect_ref - object
        - isUsed: 1
        parm_decl ptr2 test12.cpp 48:36 - ref
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field type
        - precisionBits: 32
        - signed
      integer_cst 0 - operand
    integer_type - var type 2
    - 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
  block - operand
   var_decl tmp test12.cpp 50:13 - block vars
    integer_cst 32 - decl size 2
    cond_expr - initial 2
     ne_expr - operand
      - isUsed: 1
      parm_decl ptr1 test12.cpp 48:23 - operand
       pointer_type - decl type
       integer_cst 64 - parm size
      integer_cst 0 - operand
     component_ref test12.cpp 50:32 - operand
      indirect_ref - object
       - isUsed: 1
       parm_decl ptr1 test12.cpp 48:23 - ref
      field_decl val test12.cpp 4:13 - field
      - signed
       integer_cst 32 - decl size
       integer_type - field type
       - precisionBits: 32
       - signed
     cond_expr - operand
      eq_expr test12.cpp 50:40 - operand
       - isUsed: 1
       parm_decl ptr2 test12.cpp 48:36 - operand
       integer_cst 0 - operand
      component_ref test12.cpp 50:53 - operand
       indirect_ref - object
        - isUsed: 1
        parm_decl ptr2 test12.cpp 48:36 - ref
       field_decl val test12.cpp 4:13 - field
       - signed
        integer_cst 32 - decl size
        integer_type - field type
        - precisionBits: 32
        - signed
      integer_cst 0 - operand
    integer_type - var type 2
    - 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