path: root/test/test20-01.txt

function_decl func1 test20.c 8:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 8:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 8:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 parm_decl ptr2 test20.c 8:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 9:1 2147483646 - code
  var_decl ptr3 test20.c 10:19 2147483645 - operand
   integer_cst 64 2147483644 - decl size
   - isUsed: 1
   parm_decl ptr1 test20.c 8:25 10 - initial
    pointer_type 9 - decl type
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    integer_cst 64 9 - parm size
   pointer_type 2147483644 - var type
    record_type 3 - nested type
     identifier_node Data1 2 - type name
  decl_expr test20.c 10:19 2147483645 - operand
   var_decl ptr3 test20.c 10:19 2147483644 - operand
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 8:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
  block 2147483645 - operand
   var_decl ptr3 test20.c 10:19 2147483644 - block vars
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 8:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
function_decl func2 test20.c 13:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 13:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 13:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 parm_decl ptr2 test20.c 13:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 14:1 2147483646 - code
  var_decl ptr3 test20.c 15:19 2147483645 - operand
  - isUsed: 1
   integer_cst 64 2147483644 - decl size
   - isUsed: 1
   parm_decl ptr1 test20.c 13:25 10 - initial
    pointer_type 9 - decl type
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    integer_cst 64 9 - parm size
   pointer_type 2147483644 - var type
    record_type 3 - nested type
     identifier_node Data1 2 - type name
  statement_list 2147483645 - operand
   decl_expr test20.c 15:19 2147483644 - statement
    var_decl ptr3 test20.c 15:19 2147483643 - operand
    - isUsed: 1
     integer_cst 64 5 - decl size 2
     - isUsed: 1
     parm_decl ptr1 test20.c 13:25 10 - initial 2
      pointer_type 9 - decl type
       record_type 3 - nested type
        identifier_node Data1 2 - type name
      integer_cst 64 9 - parm size
     pointer_type 5 - var type 2
      record_type 3 - nested type
       identifier_node Data1 2 - type name
   modify_expr test20.c 16:15 2147483644 - statement
    component_ref test20.c 16:9 2147483643 - operand
     indirect_ref test20.c 16:9 2147483642 - object
      var_decl ptr3 test20.c 15:19 2147483641 - ref
      - isUsed: 1
       integer_cst 64 5 - decl size 2
       - isUsed: 1
       parm_decl ptr1 test20.c 13:25 10 - initial 2
        pointer_type 9 - decl type
         record_type 3 - nested type
          identifier_node Data1 2 - type name
        integer_cst 64 9 - parm size
       pointer_type 5 - var type 2
        record_type 3 - nested type
         identifier_node Data1 2 - type name
     field_decl val test20.c 3:9 2147483642 - field
     - signed
      integer_cst 32 2147483641 - decl size
      integer_type 5 - field type
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    integer_cst 100 2147483643 - operand
  block 2147483645 - operand
   var_decl ptr3 test20.c 15:19 2147483644 - block vars
   - isUsed: 1
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 13:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
function_decl func3 test20.c 19:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 19:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 19:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 parm_decl ptr2 test20.c 19:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 20:1 2147483646 - code
  var_decl ptr3 test20.c 21:19 2147483645 - operand
  - isUsed: 1
   integer_cst 64 2147483644 - decl size
   - isUsed: 1
   parm_decl ptr1 test20.c 19:25 10 - initial
    pointer_type 9 - decl type
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    integer_cst 64 9 - parm size
   pointer_type 2147483644 - var type
    record_type 3 - nested type
     identifier_node Data1 2 - type name
  statement_list 2147483645 - operand
   decl_expr test20.c 21:19 2147483644 - statement
    var_decl ptr3 test20.c 21:19 2147483643 - operand
    - isUsed: 1
     integer_cst 64 5 - decl size 2
     - isUsed: 1
     parm_decl ptr1 test20.c 19:25 10 - initial 2
      pointer_type 9 - decl type
       record_type 3 - nested type
        identifier_node Data1 2 - type name
      integer_cst 64 9 - parm size
     pointer_type 5 - var type 2
      record_type 3 - nested type
       identifier_node Data1 2 - type name
   cond_expr test20.c 22:8 2147483644 - statement
    ne_expr test20.c 22:9 2147483643 - operand
     var_decl ptr3 test20.c 21:19 2147483642 - operand
     - isUsed: 1
      integer_cst 64 5 - decl size 2
      - isUsed: 1
      parm_decl ptr1 test20.c 19:25 10 - initial 2
       pointer_type 9 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 9 - parm size
      pointer_type 5 - var type 2
       record_type 3 - nested type
        identifier_node Data1 2 - type name
     integer_cst 0 2147483642 - operand
    modify_expr test20.c 23:19 2147483643 - operand
     component_ref test20.c 23:13 2147483642 - operand
      indirect_ref test20.c 23:13 2147483641 - object
       var_decl ptr3 test20.c 21:19 2147483640 - ref
       - isUsed: 1
        integer_cst 64 5 - decl size 2
        - isUsed: 1
        parm_decl ptr1 test20.c 19:25 10 - initial 2
         pointer_type 9 - decl type
          record_type 3 - nested type
           identifier_node Data1 2 - type name
         integer_cst 64 9 - parm size
        pointer_type 5 - var type 2
         record_type 3 - nested type
          identifier_node Data1 2 - type name
      field_decl val test20.c 3:9 2147483641 - field
      - signed
       integer_cst 32 2147483640 - decl size
       integer_type 5 - field type
       - precisionBits: 32
       - signed
        type_decl int 4 - type name
        integer_cst 32 4 - type size
        integer_cst -2147483648 4 - min value
        integer_cst 2147483647 4 - max value
     integer_cst 100 2147483642 - operand
  block 2147483645 - operand
   var_decl ptr3 test20.c 21:19 2147483644 - block vars
   - isUsed: 1
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 19:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
function_decl func4 test20.c 26:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 26:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 26:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 - isUsed: 1
 parm_decl ptr2 test20.c 26:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 27:1 2147483646 - code
  var_decl ptr3 test20.c 28:19 2147483645 - operand
  - isUsed: 1
   integer_cst 64 2147483644 - decl size
   - isUsed: 1
   parm_decl ptr1 test20.c 26:25 10 - initial
    pointer_type 9 - decl type
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    integer_cst 64 9 - parm size
   pointer_type 2147483644 - var type
    record_type 3 - nested type
     identifier_node Data1 2 - type name
  statement_list 2147483645 - operand
   decl_expr test20.c 28:19 2147483644 - statement
    var_decl ptr3 test20.c 28:19 2147483643 - operand
    - isUsed: 1
     integer_cst 64 5 - decl size 2
     - isUsed: 1
     parm_decl ptr1 test20.c 26:25 10 - initial 2
      pointer_type 9 - decl type
       record_type 3 - nested type
        identifier_node Data1 2 - type name
      integer_cst 64 9 - parm size
     pointer_type 5 - var type 2
      record_type 3 - nested type
       identifier_node Data1 2 - type name
   cond_expr test20.c 29:8 2147483644 - statement
    ne_expr test20.c 29:9 2147483643 - operand
     var_decl ptr3 test20.c 28:19 2147483642 - operand
     - isUsed: 1
      integer_cst 64 5 - decl size 2
      - isUsed: 1
      parm_decl ptr1 test20.c 26:25 10 - initial 2
       pointer_type 9 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 9 - parm size
      pointer_type 5 - var type 2
       record_type 3 - nested type
        identifier_node Data1 2 - type name
     integer_cst 0 2147483642 - operand
    modify_expr test20.c 30:19 2147483643 - operand
     component_ref test20.c 30:13 2147483642 - operand
      indirect_ref test20.c 30:13 2147483641 - object
       var_decl ptr3 test20.c 28:19 2147483640 - ref
       - isUsed: 1
        integer_cst 64 5 - decl size 2
        - isUsed: 1
        parm_decl ptr1 test20.c 26:25 10 - initial 2
         pointer_type 9 - decl type
          record_type 3 - nested type
           identifier_node Data1 2 - type name
         integer_cst 64 9 - parm size
        pointer_type 5 - var type 2
         record_type 3 - nested type
          identifier_node Data1 2 - type name
      field_decl val test20.c 3:9 2147483641 - field
      - signed
       integer_cst 32 2147483640 - decl size
       integer_type 5 - field type
       - precisionBits: 32
       - signed
        type_decl int 4 - type name
        integer_cst 32 4 - type size
        integer_cst -2147483648 4 - min value
        integer_cst 2147483647 4 - max value
     integer_cst 100 2147483642 - operand
    cond_expr test20.c 31:13 2147483643 - operand
     truth_andif_expr test20.c 31:20 2147483642 - operand
      eq_expr test20.c 31:14 2147483641 - operand
       - isUsed: 1
       parm_decl ptr1 test20.c 26:25 2147483640 - operand
        pointer_type 2147483639 - decl type
         record_type 3 - nested type
          identifier_node Data1 2 - type name
        integer_cst 64 2147483639 - parm size
       integer_cst 0 2147483640 - operand
      ne_expr test20.c 31:20 2147483641 - operand
       - isUsed: 1
       parm_decl ptr2 test20.c 26:45 2147483640 - operand
        pointer_type 2147483639 - decl type
         record_type 3 - nested type
          identifier_node Data1 2 - type name
        integer_cst 64 2147483639 - parm size
       integer_cst 0 2147483640 - operand
     modify_expr test20.c 32:19 2147483642 - operand
      component_ref test20.c 32:13 2147483641 - operand
       indirect_ref test20.c 32:13 2147483640 - object
        - isUsed: 1
        parm_decl ptr2 test20.c 26:45 2147483639 - ref
         pointer_type 2147483638 - decl type
          record_type 3 - nested type
           identifier_node Data1 2 - type name
         integer_cst 64 2147483638 - parm size
       field_decl val test20.c 3:9 2147483640 - field
       - signed
        integer_cst 32 2147483639 - decl size
        integer_type 5 - field type
        - precisionBits: 32
        - signed
         type_decl int 4 - type name
         integer_cst 32 4 - type size
         integer_cst -2147483648 4 - min value
         integer_cst 2147483647 4 - max value
      integer_cst 200 2147483641 - operand
  block 2147483645 - operand
   var_decl ptr3 test20.c 28:19 2147483644 - block vars
   - isUsed: 1
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 26:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
function_decl func5 test20.c 35:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 35:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 35:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 parm_decl ptr2 test20.c 35:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 36:1 2147483646 - code
  var_decl ptr3 test20.c 40:19 2147483645 - operand
  - isUsed: 1
   integer_cst 64 2147483644 - decl size
   - isUsed: 1
   parm_decl ptr1 test20.c 35:25 10 - initial
    pointer_type 9 - decl type
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    integer_cst 64 9 - parm size
   pointer_type 2147483644 - var type
    record_type 3 - nested type
     identifier_node Data1 2 - type name
  statement_list 2147483645 - operand
   cond_expr test20.c 37:8 2147483644 - statement
    truth_orif_expr test20.c 37:15 2147483643 - operand
     eq_expr test20.c 37:9 2147483642 - operand
      - isUsed: 1
      parm_decl ptr1 test20.c 35:25 2147483641 - operand
       pointer_type 2147483640 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 2147483640 - parm size
      integer_cst 0 2147483641 - operand
     eq_expr test20.c 37:20 2147483642 - operand
      var_decl k test20.c 6:5 2147483641 - operand
      - isUsed: 1
       integer_cst 32 2147483640 - decl size
       integer_type 2147483640 - var type
       - precisionBits: 32
       - signed
        type_decl int 2147483639 - type name
        integer_cst 32 2147483639 - type size
        integer_cst -2147483648 2147483639 - min value
        integer_cst 2147483647 2147483639 - max value
      integer_cst 10 2147483641 - operand
    return_expr test20.c 38:16 2147483643 - operand
     modify_expr test20.c 38:16 2147483642 - operand
      result_decl test20.c 35:5 2147483641 - operand
      - isAutogenerated: 1
       integer_type 2147483640 - result type
       - precisionBits: 32
       - signed
        type_decl int 2147483639 - type name
        integer_cst 32 2147483639 - type size
        integer_cst -2147483648 2147483639 - min value
        integer_cst 2147483647 2147483639 - max value
       integer_cst 32 2147483640 - decl size
      integer_cst 0 2147483641 - operand
   decl_expr test20.c 40:19 2147483644 - statement
    var_decl ptr3 test20.c 40:19 2147483643 - operand
    - isUsed: 1
     integer_cst 64 5 - decl size 2
     - isUsed: 1
     parm_decl ptr1 test20.c 35:25 10 - initial 2
      pointer_type 9 - decl type
       record_type 3 - nested type
        identifier_node Data1 2 - type name
      integer_cst 64 9 - parm size
     pointer_type 5 - var type 2
      record_type 3 - nested type
       identifier_node Data1 2 - type name
   modify_expr test20.c 42:15 2147483644 - statement
    component_ref test20.c 42:9 2147483643 - operand
     indirect_ref test20.c 42:9 2147483642 - object
      var_decl ptr3 test20.c 40:19 2147483641 - ref
      - isUsed: 1
       integer_cst 64 5 - decl size 2
       - isUsed: 1
       parm_decl ptr1 test20.c 35:25 10 - initial 2
        pointer_type 9 - decl type
         record_type 3 - nested type
          identifier_node Data1 2 - type name
        integer_cst 64 9 - parm size
       pointer_type 5 - var type 2
        record_type 3 - nested type
         identifier_node Data1 2 - type name
     field_decl val test20.c 3:9 2147483642 - field
     - signed
      integer_cst 32 2147483641 - decl size
      integer_type 5 - field type
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    integer_cst 100 2147483643 - operand
  block 2147483645 - operand
   var_decl ptr3 test20.c 40:19 2147483644 - block vars
   - isUsed: 1
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 35:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
function_decl func6 test20.c 45:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 45:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 45:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 parm_decl ptr2 test20.c 45:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 46:1 2147483646 - code
  var_decl ptr3 test20.c 50:19 2147483645 - operand
  - isUsed: 1
   integer_cst 64 2147483644 - decl size
   - isUsed: 1
   parm_decl ptr1 test20.c 45:25 10 - initial
    pointer_type 9 - decl type
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    integer_cst 64 9 - parm size
   pointer_type 2147483644 - var type
    record_type 3 - nested type
     identifier_node Data1 2 - type name
  statement_list 2147483645 - operand
   cond_expr test20.c 47:8 2147483644 - statement
    truth_orif_expr test20.c 47:14 2147483643 - operand
     ne_expr test20.c 47:9 2147483642 - operand
      - isUsed: 1
      parm_decl ptr1 test20.c 45:25 2147483641 - operand
       pointer_type 2147483640 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 2147483640 - parm size
      integer_cst 0 2147483641 - operand
     eq_expr test20.c 47:19 2147483642 - operand
      var_decl k test20.c 6:5 2147483641 - operand
      - isUsed: 1
       integer_cst 32 2147483640 - decl size
       integer_type 2147483640 - var type
       - precisionBits: 32
       - signed
        type_decl int 2147483639 - type name
        integer_cst 32 2147483639 - type size
        integer_cst -2147483648 2147483639 - min value
        integer_cst 2147483647 2147483639 - max value
      integer_cst 10 2147483641 - operand
    return_expr test20.c 48:16 2147483643 - operand
     modify_expr test20.c 48:16 2147483642 - operand
      result_decl test20.c 45:5 2147483641 - operand
      - isAutogenerated: 1
       integer_type 2147483640 - result type
       - precisionBits: 32
       - signed
        type_decl int 2147483639 - type name
        integer_cst 32 2147483639 - type size
        integer_cst -2147483648 2147483639 - min value
        integer_cst 2147483647 2147483639 - max value
       integer_cst 32 2147483640 - decl size
      integer_cst 0 2147483641 - operand
   decl_expr test20.c 50:19 2147483644 - statement
    var_decl ptr3 test20.c 50:19 2147483643 - operand
    - isUsed: 1
     integer_cst 64 5 - decl size 2
     - isUsed: 1
     parm_decl ptr1 test20.c 45:25 10 - initial 2
      pointer_type 9 - decl type
       record_type 3 - nested type
        identifier_node Data1 2 - type name
      integer_cst 64 9 - parm size
     pointer_type 5 - var type 2
      record_type 3 - nested type
       identifier_node Data1 2 - type name
   modify_expr test20.c 52:15 2147483644 - statement
    component_ref test20.c 52:9 2147483643 - operand
     indirect_ref test20.c 52:9 2147483642 - object
      var_decl ptr3 test20.c 50:19 2147483641 - ref
      - isUsed: 1
       integer_cst 64 5 - decl size 2
       - isUsed: 1
       parm_decl ptr1 test20.c 45:25 10 - initial 2
        pointer_type 9 - decl type
         record_type 3 - nested type
          identifier_node Data1 2 - type name
        integer_cst 64 9 - parm size
       pointer_type 5 - var type 2
        record_type 3 - nested type
         identifier_node Data1 2 - type name
     field_decl val test20.c 3:9 2147483642 - field
     - signed
      integer_cst 32 2147483641 - decl size
      integer_type 5 - field type
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    integer_cst 100 2147483643 - operand
  block 2147483645 - operand
   var_decl ptr3 test20.c 50:19 2147483644 - block vars
   - isUsed: 1
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 45:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
function_decl func7 test20.c 55:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 55:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 55:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 parm_decl ptr2 test20.c 55:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 56:1 2147483646 - code
  var_decl c test20.c 57:9 2147483645 - operand
  - isUsed: 1
   integer_cst 32 2147483644 - decl size
   integer_type 2147483644 - var type
   - precisionBits: 32
   - signed
    type_decl int 2147483643 - type name
    integer_cst 32 2147483643 - type size
    integer_cst -2147483648 2147483643 - min value
    integer_cst 2147483647 2147483643 - max value
  statement_list 2147483645 - operand
   decl_expr test20.c 57:9 2147483644 - statement
    var_decl c test20.c 57:9 2147483643 - operand
    - isUsed: 1
     integer_cst 32 5 - decl size 2
     integer_type 5 - var type 2
     - precisionBits: 32
     - signed
      type_decl int 4 - type name
      integer_cst 32 4 - type size
      integer_cst -2147483648 4 - min value
      integer_cst 2147483647 4 - max value
   cond_expr test20.c 58:8 2147483644 - statement
    ne_expr test20.c 58:11 2147483643 - operand
     var_decl k test20.c 6:5 2147483642 - operand
     - isUsed: 1
      integer_cst 32 2147483641 - decl size
      integer_type 2147483641 - var type
      - precisionBits: 32
      - signed
       type_decl int 2147483640 - type name
       integer_cst 32 2147483640 - type size
       integer_cst -2147483648 2147483640 - min value
       integer_cst 2147483647 2147483640 - max value
     var_decl c test20.c 57:9 2147483642 - operand
     - isUsed: 1
      integer_cst 32 5 - decl size 2
      integer_type 5 - var type 2
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    cond_expr test20.c 60:12 2147483643 - operand
     eq_expr test20.c 60:13 2147483642 - operand
      - isUsed: 1
      parm_decl ptr1 test20.c 55:25 2147483641 - operand
       pointer_type 2147483640 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 2147483640 - parm size
      integer_cst 0 2147483641 - operand
     return_expr test20.c 61:20 2147483642 - operand
      modify_expr test20.c 61:20 2147483641 - operand
       result_decl test20.c 55:5 2147483640 - operand
       - isAutogenerated: 1
        integer_type 2147483639 - result type
        - precisionBits: 32
        - signed
         type_decl int 2147483638 - type name
         integer_cst 32 2147483638 - type size
         integer_cst -2147483648 2147483638 - min value
         integer_cst 2147483647 2147483638 - max value
        integer_cst 32 2147483639 - decl size
       integer_cst 0 2147483640 - operand
   decl_expr test20.c 64:19 2147483644 - statement
    var_decl ptr3 test20.c 64:19 2147483643 - operand
    - isUsed: 1
     integer_cst 64 2147483642 - decl size
     - isUsed: 1
     parm_decl ptr1 test20.c 55:25 10 - initial
      pointer_type 9 - decl type
       record_type 3 - nested type
        identifier_node Data1 2 - type name
      integer_cst 64 9 - parm size
     pointer_type 2147483642 - var type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
   modify_expr test20.c 66:15 2147483644 - statement
    component_ref test20.c 66:9 2147483643 - operand
     indirect_ref test20.c 66:9 2147483642 - object
      - isUsed: 1
      parm_decl ptr1 test20.c 55:25 2147483641 - ref
       pointer_type 2147483640 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 2147483640 - parm size
     field_decl val test20.c 3:9 2147483642 - field
     - signed
      integer_cst 32 2147483641 - decl size
      integer_type 5 - field type
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    integer_cst 100 2147483643 - operand
   modify_expr test20.c 67:15 2147483644 - statement
    component_ref test20.c 67:9 2147483643 - operand
     indirect_ref test20.c 67:9 2147483642 - object
      var_decl ptr3 test20.c 64:19 2147483641 - ref
      - isUsed: 1
       integer_cst 64 5 - decl size 2
       - isUsed: 1
       parm_decl ptr1 test20.c 55:25 10 - initial 2
        pointer_type 9 - decl type
         record_type 3 - nested type
          identifier_node Data1 2 - type name
        integer_cst 64 9 - parm size
       pointer_type 5 - var type 2
        record_type 3 - nested type
         identifier_node Data1 2 - type name
     field_decl val test20.c 3:9 2147483642 - field
     - signed
      integer_cst 32 2147483641 - decl size
      integer_type 5 - field type
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    integer_cst 200 2147483643 - operand
  block 2147483645 - operand
   var_decl c test20.c 57:9 2147483644 - block vars
   - isUsed: 1
    integer_cst 32 5 - decl size 2
    integer_type 5 - var type 2
    - precisionBits: 32
    - signed
     type_decl int 4 - type name
     integer_cst 32 4 - type size
     integer_cst -2147483648 4 - min value
     integer_cst 2147483647 4 - max value
   var_decl ptr3 test20.c 64:19 2147483644 - block vars
   - isUsed: 1
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 55:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name
function_decl func8 test20.c 70:5 2147483647
- isPublic: 1
 function_type 2147483646 - function type
  integer_type 2147483645 - function return type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  tree_list 2147483645 - arg types
   pointer_type 2147483644 - value
    record_type 3 - nested type
     identifier_node Data1 2 - type name
   tree_list 2147483644 - chain
    pointer_type 2147483643 - value
     record_type 3 - nested type
      identifier_node Data1 2 - type name
    tree_list 2147483643 - chain
     void_type 2147483642 - value
      type_decl void 2147483641 - type name
 result_decl test20.c 70:5 2147483646 - function result
 - isAutogenerated: 1
  integer_type 2147483645 - result type
  - precisionBits: 32
  - signed
   type_decl int 2147483644 - type name
   integer_cst 32 2147483644 - type size
   integer_cst -2147483648 2147483644 - min value
   integer_cst 2147483647 2147483644 - max value
  integer_cst 32 2147483645 - decl size
 - isUsed: 1
 parm_decl ptr1 test20.c 70:25 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 parm_decl ptr2 test20.c 70:45 2147483646 - argument
  pointer_type 2147483645 - decl type
   record_type 3 - nested type
    identifier_node Data1 2 - type name
  integer_cst 64 2147483645 - parm size
 bind_expr test20.c 71:1 2147483646 - code
  var_decl c test20.c 72:9 2147483645 - operand
  - isUsed: 1
   integer_cst 32 2147483644 - decl size
   integer_type 2147483644 - var type
   - precisionBits: 32
   - signed
    type_decl int 2147483643 - type name
    integer_cst 32 2147483643 - type size
    integer_cst -2147483648 2147483643 - min value
    integer_cst 2147483647 2147483643 - max value
  statement_list 2147483645 - operand
   decl_expr test20.c 72:9 2147483644 - statement
    var_decl c test20.c 72:9 2147483643 - operand
    - isUsed: 1
     integer_cst 32 5 - decl size 2
     integer_type 5 - var type 2
     - precisionBits: 32
     - signed
      type_decl int 4 - type name
      integer_cst 32 4 - type size
      integer_cst -2147483648 4 - min value
      integer_cst 2147483647 4 - max value
   cond_expr test20.c 73:8 2147483644 - statement
    ne_expr test20.c 73:11 2147483643 - operand
     var_decl k test20.c 6:5 2147483642 - operand
     - isUsed: 1
      integer_cst 32 2147483641 - decl size
      integer_type 2147483641 - var type
      - precisionBits: 32
      - signed
       type_decl int 2147483640 - type name
       integer_cst 32 2147483640 - type size
       integer_cst -2147483648 2147483640 - min value
       integer_cst 2147483647 2147483640 - max value
     var_decl c test20.c 72:9 2147483642 - operand
     - isUsed: 1
      integer_cst 32 5 - decl size 2
      integer_type 5 - var type 2
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    cond_expr test20.c 75:12 2147483643 - operand
     ne_expr test20.c 75:13 2147483642 - operand
      - isUsed: 1
      parm_decl ptr1 test20.c 70:25 2147483641 - operand
       pointer_type 2147483640 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 2147483640 - parm size
      integer_cst 0 2147483641 - operand
     return_expr test20.c 76:20 2147483642 - operand
      modify_expr test20.c 76:20 2147483641 - operand
       result_decl test20.c 70:5 2147483640 - operand
       - isAutogenerated: 1
        integer_type 2147483639 - result type
        - precisionBits: 32
        - signed
         type_decl int 2147483638 - type name
         integer_cst 32 2147483638 - type size
         integer_cst -2147483648 2147483638 - min value
         integer_cst 2147483647 2147483638 - max value
        integer_cst 32 2147483639 - decl size
       integer_cst 0 2147483640 - operand
   decl_expr test20.c 79:19 2147483644 - statement
    var_decl ptr3 test20.c 79:19 2147483643 - operand
    - isUsed: 1
     integer_cst 64 2147483642 - decl size
     - isUsed: 1
     parm_decl ptr1 test20.c 70:25 10 - initial
      pointer_type 9 - decl type
       record_type 3 - nested type
        identifier_node Data1 2 - type name
      integer_cst 64 9 - parm size
     pointer_type 2147483642 - var type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
   modify_expr test20.c 81:15 2147483644 - statement
    component_ref test20.c 81:9 2147483643 - operand
     indirect_ref test20.c 81:9 2147483642 - object
      - isUsed: 1
      parm_decl ptr1 test20.c 70:25 2147483641 - ref
       pointer_type 2147483640 - decl type
        record_type 3 - nested type
         identifier_node Data1 2 - type name
       integer_cst 64 2147483640 - parm size
     field_decl val test20.c 3:9 2147483642 - field
     - signed
      integer_cst 32 2147483641 - decl size
      integer_type 5 - field type
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    integer_cst 100 2147483643 - operand
   modify_expr test20.c 82:15 2147483644 - statement
    component_ref test20.c 82:9 2147483643 - operand
     indirect_ref test20.c 82:9 2147483642 - object
      var_decl ptr3 test20.c 79:19 2147483641 - ref
      - isUsed: 1
       integer_cst 64 5 - decl size 2
       - isUsed: 1
       parm_decl ptr1 test20.c 70:25 10 - initial 2
        pointer_type 9 - decl type
         record_type 3 - nested type
          identifier_node Data1 2 - type name
        integer_cst 64 9 - parm size
       pointer_type 5 - var type 2
        record_type 3 - nested type
         identifier_node Data1 2 - type name
     field_decl val test20.c 3:9 2147483642 - field
     - signed
      integer_cst 32 2147483641 - decl size
      integer_type 5 - field type
      - precisionBits: 32
      - signed
       type_decl int 4 - type name
       integer_cst 32 4 - type size
       integer_cst -2147483648 4 - min value
       integer_cst 2147483647 4 - max value
    integer_cst 200 2147483643 - operand
  block 2147483645 - operand
   var_decl c test20.c 72:9 2147483644 - block vars
   - isUsed: 1
    integer_cst 32 5 - decl size 2
    integer_type 5 - var type 2
    - precisionBits: 32
    - signed
     type_decl int 4 - type name
     integer_cst 32 4 - type size
     integer_cst -2147483648 4 - min value
     integer_cst 2147483647 4 - max value
   var_decl ptr3 test20.c 79:19 2147483644 - block vars
   - isUsed: 1
    integer_cst 64 5 - decl size 2
    - isUsed: 1
    parm_decl ptr1 test20.c 70:25 10 - initial 2
     pointer_type 9 - decl type
      record_type 3 - nested type
       identifier_node Data1 2 - type name
     integer_cst 64 9 - parm size
    pointer_type 5 - var type 2
     record_type 3 - nested type
      identifier_node Data1 2 - type name