function_decl func1 test17.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 test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
   tree_list - chain
    pointer_type - value
     record_type - nested type
      identifier_node Data1 - type name
      field_decl val test17.c 3:9 - field
      - signed
       integer_cst 32 - decl size
    tree_list - chain
     void_type - value
      type_decl void - type name
 result_decl test17.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 test17.c 8:25 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 parm_decl ptr2 test17.c 8:45 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 bind_expr test17.c 9:1 - code
  statement_list - operand
   cond_expr test17.c 10:8 - statement
    eq_expr test17.c 10:9 - operand
     - isUsed: 1
     parm_decl ptr1 test17.c 8:25 - operand
      pointer_type - decl type
       record_type - nested type
        identifier_node Data1 - type name
        field_decl val test17.c 3:9 - field
        - signed
         integer_cst 32 - decl size
      integer_cst 64 - parm size
     integer_cst 0 - operand
    return_expr test17.c 11:15 - operand
     modify_expr test17.c 11:15 - operand
      result_decl test17.c 8: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
   modify_expr test17.c 13:15 - statement
    component_ref test17.c 13:9 - operand
     indirect_ref test17.c 13:9 - object
      - isUsed: 1
      parm_decl ptr1 test17.c 8:25 - ref
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
     field_decl val test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
    integer_cst 100 - operand
  block - operand
test17.c: In function 'func2':
test17.c:18:14: warning: comparison between pointer and integer
     if (ptr1 == (123, 0))
              ^
function_decl func2 test17.c 16: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 test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
   tree_list - chain
    pointer_type - value
     record_type - nested type
      identifier_node Data1 - type name
      field_decl val test17.c 3:9 - field
      - signed
       integer_cst 32 - decl size
    tree_list - chain
     void_type - value
      type_decl void - type name
 result_decl test17.c 16: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 test17.c 16:25 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 parm_decl ptr2 test17.c 16:45 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 bind_expr test17.c 17:1 - code
  statement_list - operand
   cond_expr test17.c 18:8 - statement
    compound_expr test17.c 18:14 - operand
     integer_cst 123 - operand
     eq_expr test17.c 18:14 - operand
      - isUsed: 1
      parm_decl ptr1 test17.c 16:25 - operand
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
      integer_cst 0 - operand
    return_expr test17.c 19:16 - operand
     modify_expr test17.c 19:16 - operand
      result_decl test17.c 16: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
   modify_expr test17.c 20:15 - statement
    component_ref test17.c 20:9 - operand
     indirect_ref test17.c 20:9 - object
      - isUsed: 1
      parm_decl ptr1 test17.c 16:25 - ref
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
     field_decl val test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
    integer_cst 100 - operand
   return_expr test17.c 21:12 - statement
    modify_expr test17.c 21:12 - operand
     result_decl test17.c 16: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
  block - operand
test17.c: In function 'func3':
test17.c:26:14: warning: comparison between pointer and integer
     if (ptr1 != (123, 0))
              ^
function_decl func3 test17.c 24: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 test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
   tree_list - chain
    pointer_type - value
     record_type - nested type
      identifier_node Data1 - type name
      field_decl val test17.c 3:9 - field
      - signed
       integer_cst 32 - decl size
    tree_list - chain
     void_type - value
      type_decl void - type name
 result_decl test17.c 24: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 test17.c 24:25 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 parm_decl ptr2 test17.c 24:45 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 bind_expr test17.c 25:1 - code
  statement_list - operand
   cond_expr test17.c 26:8 - statement
    compound_expr test17.c 26:14 - operand
     integer_cst 123 - operand
     ne_expr test17.c 26:14 - operand
      - isUsed: 1
      parm_decl ptr1 test17.c 24:25 - operand
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
      integer_cst 0 - operand
    return_expr test17.c 27:16 - operand
     modify_expr test17.c 27:16 - operand
      result_decl test17.c 24: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
   modify_expr test17.c 28:15 - statement
    component_ref test17.c 28:9 - operand
     indirect_ref test17.c 28:9 - object
      - isUsed: 1
      parm_decl ptr1 test17.c 24:25 - ref
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
     field_decl val test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
    integer_cst 100 - operand
   return_expr test17.c 29:12 - statement
    modify_expr test17.c 29:12 - operand
     result_decl test17.c 24: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
  block - operand
function_decl func4 test17.c 32:6
- isPublic: 1
 function_type - function type
  void_type - function return type
   type_decl void - type name
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     identifier_node Data1 - type name
     field_decl val test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
   tree_list - chain
    pointer_type - value
     record_type - nested type
      identifier_node Data1 - type name
      field_decl val test17.c 3:9 - field
      - signed
       integer_cst 32 - decl size
    tree_list - chain
     void_type - value
      type_decl void - type name
 result_decl test17.c 32:6 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void - type name
 - isUsed: 1
 parm_decl ptr1 test17.c 32:26 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 parm_decl ptr2 test17.c 32:46 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 bind_expr test17.c 33:1 - code
  statement_list - operand
   cond_expr test17.c 34:8 - statement
    eq_expr test17.c 34:11 - operand
     var_decl k test17.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
    cond_expr test17.c 36:12 - operand
     eq_expr test17.c 36:13 - operand
      - isUsed: 1
      parm_decl ptr1 test17.c 32:26 - operand
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
      integer_cst 0 - operand
     return_expr test17.c 37:13 - operand
   modify_expr test17.c 40:15 - statement
    component_ref test17.c 40:9 - operand
     indirect_ref test17.c 40:9 - object
      - isUsed: 1
      parm_decl ptr1 test17.c 32:26 - ref
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
     field_decl val test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
    integer_cst 100 - operand
  block - operand
function_decl func5 test17.c 43:6
- isPublic: 1
 function_type - function type
  void_type - function return type
   type_decl void - type name
  tree_list - arg types
   pointer_type - value
    record_type - nested type
     identifier_node Data1 - type name
     field_decl val test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
   tree_list - chain
    pointer_type - value
     record_type - nested type
      identifier_node Data1 - type name
      field_decl val test17.c 3:9 - field
      - signed
       integer_cst 32 - decl size
    tree_list - chain
     void_type - value
      type_decl void - type name
 result_decl test17.c 43:6 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void - type name
 - isUsed: 1
 parm_decl ptr1 test17.c 43:26 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test17.c 43:46 - argument
  pointer_type - decl type
   record_type - nested type
    identifier_node Data1 - type name
    field_decl val test17.c 3:9 - field
    - signed
     integer_cst 32 - decl size
  integer_cst 64 - parm size
 bind_expr test17.c 44:1 - code
  statement_list - operand
   cond_expr test17.c 45:8 - statement
    eq_expr test17.c 45:9 - operand
     - isUsed: 1
     parm_decl ptr1 test17.c 43:26 - operand
      pointer_type - decl type
       record_type - nested type
        identifier_node Data1 - type name
        field_decl val test17.c 3:9 - field
        - signed
         integer_cst 32 - decl size
      integer_cst 64 - parm size
     integer_cst 0 - operand
    return_expr test17.c 46:9 - operand
   cond_expr test17.c 48:8 - statement
    ne_expr test17.c 48:9 - operand
     - isUsed: 1
     parm_decl ptr2 test17.c 43:46 - operand
      pointer_type - decl type
       record_type - nested type
        identifier_node Data1 - type name
        field_decl val test17.c 3:9 - field
        - signed
         integer_cst 32 - decl size
      integer_cst 64 - parm size
     integer_cst 0 - operand
    return_expr test17.c 49:9 - operand
   modify_expr test17.c 51:15 - statement
    component_ref test17.c 51:9 - operand
     indirect_ref test17.c 51:9 - object
      - isUsed: 1
      parm_decl ptr1 test17.c 43:26 - ref
       pointer_type - decl type
        record_type - nested type
         identifier_node Data1 - type name
         field_decl val test17.c 3:9 - field
         - signed
          integer_cst 32 - decl size
       integer_cst 64 - parm size
     field_decl val test17.c 3:9 - field
     - signed
      integer_cst 32 - decl size
    integer_cst 100 - operand
  block - operand