function_decl func3 test1.c 7:6
- isPublic: 1
 tree_list - attribute
  identifier_node noreturn - purpose
 function_type - function type
  void_type - function return type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
  tree_list - attribute
   identifier_node nonnull - purpose
   tree_list - value
    integer_cst 1 - value
    tree_list - value
     integer_cst 2 - value
  tree_list - arg types
   pointer_type - value
    integer_type - nested type
    - precisionBits: 32
    - signed
     type_decl int <built-in> 0:0 - type name
     - isAutogenerated: 1
     integer_cst 32 - type size
     integer_cst -2147483648 - min value
     integer_cst 2147483647 - max value
   tree_list - arg types
    pointer_type - value
     integer_type - nested type
     - precisionBits: 8
     - isChar: 1
     - signed
      type_decl char <built-in> 0:0 - type name
      - isAutogenerated: 1
      integer_cst 8 - type size
      integer_cst -128 - min value
      integer_cst 127 - max value
    tree_list - arg types
     void_type - value
      type_decl void <built-in> 0:0 - type name
      - isAutogenerated: 1
 result_decl test1.c 7:32 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl ptr test1.c 7:17 - argument
  pointer_type - decl type
   integer_type - nested type
   - precisionBits: 32
   - signed
    type_decl int <built-in> 0:0 - type name
    - isAutogenerated: 1
    integer_cst 32 - type size
    integer_cst -2147483648 - min value
    integer_cst 2147483647 - max value
  integer_cst 64 - parm size
 - isUsed: 1
 parm_decl ptr2 test1.c 7:28 - argument
  pointer_type - decl type
   integer_type - nested type
   - precisionBits: 8
   - isChar: 1
   - signed
    type_decl char <built-in> 0:0 - type name
    - isAutogenerated: 1
    integer_cst 8 - type size
    integer_cst -128 - min value
    integer_cst 127 - max value
  integer_cst 64 - parm size
 statement_list - code
  cleanup_point_expr - statement
   expr_stmt - operand
    convert_expr - expresssion
     Unsupported node type: modify_expr - operand - expresssion
  cleanup_point_expr - statement
   expr_stmt - operand
    convert_expr - expresssion
     Unsupported node type: modify_expr - operand - expresssion
  Unsupported node type: while_stmt - statement - code
function_decl main test1.c 14:5
- isPublic: 1
 function_type - function type
  integer_type - function return type
  - precisionBits: 32
  - signed
   type_decl int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 32 - type size
   integer_cst -2147483648 - min value
   integer_cst 2147483647 - max value
  tree_list - arg types
   void_type - value
    type_decl void <built-in> 0:0 - type name
    - isAutogenerated: 1
 result_decl test1.c 14:10 - function result
 - isAutogenerated: 1
  integer_type - result type
  - precisionBits: 32
  - signed
   type_decl int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 32 - type size
   integer_cst -2147483648 - min value
   integer_cst 2147483647 - max value
  integer_cst 32 - decl size
 statement_list - code
  bind_expr - statement
   var_decl k test1.c 17:14 - operand
   - isUsed: 1
    integer_cst 8 - decl size
    integer_type - var type
    - precisionBits: 8
    - isChar: 1
    - signed
     type_decl char <built-in> 0:0 - type name
     - isAutogenerated: 1
     integer_cst 8 - type size
     integer_cst -128 - min value
     integer_cst 127 - max value
   statement_list - operand
    cleanup_point_expr - statement
     expr_stmt - operand
      convert_expr - expresssion
       Unsupported node type: call_expr - operand - expresssion
    decl_expr - statement
     var_decl k test1.c 17:14 - operand
     - isUsed: 1
      integer_cst 8 - decl size
      integer_type - var type
      - precisionBits: 8
      - isChar: 1
      - signed
       type_decl char <built-in> 0:0 - type name
       - isAutogenerated: 1
       integer_cst 8 - type size
       integer_cst -128 - min value
       integer_cst 127 - max value
    decl_expr - statement
     var_decl k2 test1.c 17:17 - operand
      integer_cst 8 - decl size
      integer_type - var type
      - precisionBits: 8
      - isChar: 1
      - signed
       type_decl char <built-in> 0:0 - type name
       - isAutogenerated: 1
       integer_cst 8 - type size
       integer_cst -128 - min value
       integer_cst 127 - max value
    cleanup_point_expr - statement
     expr_stmt - operand
      Unsupported node type: call_expr - expresssion - operand
    return_expr - statement
     init_expr - operand
      result_decl test1.c 14:10 - operand
      - isAutogenerated: 1
       integer_type - result type
       - precisionBits: 32
       - signed
        type_decl int <built-in> 0:0 - type name
        - isAutogenerated: 1
        integer_cst 32 - type size
        integer_cst -2147483648 - min value
        integer_cst 2147483647 - max value
       integer_cst 32 - decl size
      integer_cst 1 - operand
   block - operand
    var_decl k test1.c 17:14 - block vars
    - isUsed: 1
     integer_cst 8 - decl size
     integer_type - var type
     - precisionBits: 8
     - isChar: 1
     - signed
      type_decl char <built-in> 0:0 - type name
      - isAutogenerated: 1
      integer_cst 8 - type size
      integer_cst -128 - min value
      integer_cst 127 - max value
    var_decl k2 test1.c 17:17 - block vars
     integer_cst 8 - decl size
     integer_type - var type
     - precisionBits: 8
     - isChar: 1
     - signed
      type_decl char <built-in> 0:0 - type name
      - isAutogenerated: 1
      integer_cst 8 - type size
      integer_cst -128 - min value
      integer_cst 127 - max value
  return_expr - statement
   init_expr - operand
    result_decl test1.c 14:10 - operand
    - isAutogenerated: 1
     integer_type - result type
     - precisionBits: 32
     - signed
      type_decl int <built-in> 0:0 - type name
      - isAutogenerated: 1
      integer_cst 32 - type size
      integer_cst -2147483648 - min value
      integer_cst 2147483647 - max value
     integer_cst 32 - decl size
    integer_cst 0 - operand
function_decl fun test1.c 21:6
- isPublic: 1
 function_type - function type
  void_type - function return type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
  tree_list - arg types
   integer_type - value
   - precisionBits: 32
   - signed
    type_decl int <built-in> 0:0 - type name
    - isAutogenerated: 1
    integer_cst 32 - type size
    integer_cst -2147483648 - min value
    integer_cst 2147483647 - max value
   tree_list - arg types
    integer_type - value
    - precisionBits: 32
    - signed
     type_decl int <built-in> 0:0 - type name
     - isAutogenerated: 1
     integer_cst 32 - type size
     integer_cst -2147483648 - min value
     integer_cst 2147483647 - max value
    tree_list - arg types
     void_type - value
      type_decl void <built-in> 0:0 - type name
      - isAutogenerated: 1
 result_decl test1.c 21:23 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl a test1.c 21:14 - argument
  integer_type - decl type
  - precisionBits: 32
  - signed
   type_decl int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 32 - type size
   integer_cst -2147483648 - min value
   integer_cst 2147483647 - max value
  integer_cst 32 - parm size
 - isUsed: 1
 parm_decl b test1.c 21:22 - argument
  integer_type - decl type
  - precisionBits: 32
  - signed
   type_decl int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 32 - type size
   integer_cst -2147483648 - min value
   integer_cst 2147483647 - max value
  integer_cst 32 - parm size
 if_stmt - code
  Unsupported node type: eq_expr - condition - code
  cleanup_point_expr - then
   expr_stmt - operand
    convert_expr - expresssion
     Unsupported node type: modify_expr - operand - expresssion
  cleanup_point_expr - else
   expr_stmt - operand
    convert_expr - expresssion
     Unsupported node type: modify_expr - operand - expresssion
function_decl fun1 test1.c 29:5
- isPublic: 1
 function_type - function type
  integer_type - function return type
  - precisionBits: 32
  - signed
   type_decl int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 32 - type size
   integer_cst -2147483648 - min value
   integer_cst 2147483647 - max value
  tree_list - arg types
   integer_type - value
   - precisionBits: 32
   - signed
    type_decl int <built-in> 0:0 - type name
    - isAutogenerated: 1
    integer_cst 32 - type size
    integer_cst -2147483648 - min value
    integer_cst 2147483647 - max value
   tree_list - arg types
    pointer_type - value
     pointer_type - nested type
      pointer_type - nested type
       integer_type - nested type
       - precisionBits: 32
       - signed
        type_decl int <built-in> 0:0 - type name
        - isAutogenerated: 1
        integer_cst 32 - type size
        integer_cst -2147483648 - min value
        integer_cst 2147483647 - max value
    tree_list - arg types
     void_type - value
      type_decl void <built-in> 0:0 - type name
      - isAutogenerated: 1
 result_decl test1.c 29:30 - function result
 - isAutogenerated: 1
  integer_type - result type
  - precisionBits: 32
  - signed
   type_decl int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 32 - type size
   integer_cst -2147483648 - min value
   integer_cst 2147483647 - max value
  integer_cst 32 - decl size
 parm_decl x test1.c 29:20 - argument
  integer_type - decl type
  - precisionBits: 32
  - signed
   type_decl int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 32 - type size
   integer_cst -2147483648 - min value
   integer_cst 2147483647 - max value
  integer_cst 32 - parm size
 parm_decl y test1.c 29:29 - argument
  pointer_type - decl type
   pointer_type - nested type
    pointer_type - nested type
     integer_type - nested type
     - precisionBits: 32
     - signed
      type_decl int <built-in> 0:0 - type name
      - isAutogenerated: 1
      integer_cst 32 - type size
      integer_cst -2147483648 - min value
      integer_cst 2147483647 - max value
  integer_cst 64 - parm size
 bind_expr - code
  var_decl a test1.c 31:6 - operand
  - isUsed: 1
   integer_cst 32 - decl size
   integer_type - var type
   - precisionBits: 32
   - signed
    type_decl int <built-in> 0:0 - type name
    - isAutogenerated: 1
    integer_cst 32 - type size
    integer_cst -2147483648 - min value
    integer_cst 2147483647 - max value
  statement_list - operand
   cleanup_point_expr - statement
    decl_expr - operand
     var_decl a test1.c 31:6 - operand
     - isUsed: 1
      integer_cst 32 - decl size
      integer_type - var type
      - precisionBits: 32
      - signed
       type_decl int <built-in> 0:0 - type name
       - isAutogenerated: 1
       integer_cst 32 - type size
       integer_cst -2147483648 - min value
       integer_cst 2147483647 - max value
   cleanup_point_expr - statement
    decl_expr - operand
     var_decl b test1.c 31:14 - operand
     - isUsed: 1
      integer_cst 32 - decl size
      integer_type - var type
      - precisionBits: 32
      - signed
       type_decl int <built-in> 0:0 - type name
       - isAutogenerated: 1
       integer_cst 32 - type size
       integer_cst -2147483648 - min value
       integer_cst 2147483647 - max value
   cleanup_point_expr - statement
    expr_stmt - operand
     convert_expr - expresssion
      Unsupported node type: modify_expr - operand - expresssion
   cleanup_point_expr - statement
    expr_stmt - operand
     Unsupported node type: call_expr - expresssion - operand
   if_stmt - statement
    Unsupported node type: eq_expr - condition - statement
    return_expr - then
     init_expr - operand
      result_decl test1.c 29:30 - operand
      - isAutogenerated: 1
       integer_type - result type
       - precisionBits: 32
       - signed
        type_decl int <built-in> 0:0 - type name
        - isAutogenerated: 1
        integer_cst 32 - type size
        integer_cst -2147483648 - min value
        integer_cst 2147483647 - max value
       integer_cst 32 - decl size
      Unsupported node type: plus_expr - operand - operand
    return_expr - else
     init_expr - operand
      result_decl test1.c 29:30 - operand
      - isAutogenerated: 1
       integer_type - result type
       - precisionBits: 32
       - signed
        type_decl int <built-in> 0:0 - type name
        - isAutogenerated: 1
        integer_cst 32 - type size
        integer_cst -2147483648 - min value
        integer_cst 2147483647 - max value
       integer_cst 32 - decl size
      integer_cst 10 - operand
  block - operand
   var_decl a test1.c 31:6 - block vars
   - isUsed: 1
    integer_cst 32 - decl size
    integer_type - var type
    - precisionBits: 32
    - signed
     type_decl int <built-in> 0:0 - type name
     - isAutogenerated: 1
     integer_cst 32 - type size
     integer_cst -2147483648 - min value
     integer_cst 2147483647 - max value
   var_decl b test1.c 31:14 - block vars
   - isUsed: 1
    integer_cst 32 - decl size
    integer_type - var type
    - precisionBits: 32
    - signed
     type_decl int <built-in> 0:0 - type name
     - isAutogenerated: 1
     integer_cst 32 - type size
     integer_cst -2147483648 - min value
     integer_cst 2147483647 - max value
function_decl fun2 test1.c 38:6
- isPublic: 1
 function_type - function type
  integer_type - function return type
  - precisionBits: 64
  - signed
   type_decl long int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 64 - type size
   integer_cst -0 - min value
   integer_cst 4294967295 - max value
  tree_list - arg types
   pointer_type - value
    integer_type - nested type
    - precisionBits: 8
    - isChar: 1
    - signed
     type_decl char <built-in> 0:0 - type name
     - isAutogenerated: 1
     integer_cst 8 - type size
     integer_cst -128 - min value
     integer_cst 127 - max value
   tree_list - arg types
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test1.c 38:25 - function result
 - isAutogenerated: 1
  integer_type - result type
  - precisionBits: 64
  - signed
   type_decl long int <built-in> 0:0 - type name
   - isAutogenerated: 1
   integer_cst 64 - type size
   integer_cst -0 - min value
   integer_cst 4294967295 - max value
  integer_cst 64 - decl size
 - isUsed: 1
 parm_decl zz test1.c 38:23 - argument
  pointer_type - decl type
   integer_type - nested type
   - precisionBits: 8
   - isChar: 1
   - signed
    type_decl char <built-in> 0:0 - type name
    - isAutogenerated: 1
    integer_cst 8 - type size
    integer_cst -128 - min value
    integer_cst 127 - max value
  integer_cst 64 - parm size
 return_expr - code
  init_expr - operand
   result_decl test1.c 38:25 - operand
   - isAutogenerated: 1
    integer_type - result type
    - precisionBits: 64
    - signed
     type_decl long int <built-in> 0:0 - type name
     - isAutogenerated: 1
     integer_cst 64 - type size
     integer_cst -0 - min value
     integer_cst 4294967295 - max value
    integer_cst 64 - decl size
   convert_expr - operand
    - isUsed: 1
    parm_decl zz test1.c 38:23 - operand
     pointer_type - decl type
      integer_type - nested type
      - precisionBits: 8
      - isChar: 1
      - signed
       type_decl char <built-in> 0:0 - type name
       - isAutogenerated: 1
       integer_cst 8 - type size
       integer_cst -128 - min value
       integer_cst 127 - max value
     integer_cst 64 - parm size