path: root/test/test20-01.txt

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