function_decl func1 test6.c 10: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 10:18 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl a test6.c 10: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
 cleanup_point_expr test6.c 12:13 - code
  expr_stmt test6.c 12:13 - operand
   convert_expr - expresssion
    modify_expr - operand
     indirect_ref - operand
      - isUsed: 1
      parm_decl a test6.c 10:17 - operand
       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
     integer_cst 100 - operand
function_decl func2 test6.c 15: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 15:18 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl a test6.c 15: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
 if_stmt test6.c 17:5 - code
  eq_expr test6.c 17:10 - condition
   - isUsed: 1
   parm_decl a test6.c 15:17 - operand
    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
   integer_cst 0 - operand
  return_expr test6.c 18:9 - then
  cleanup_point_expr test6.c 20:17 - else
   expr_stmt test6.c 20:17 - operand
    convert_expr - expresssion
     modify_expr - operand
      indirect_ref - operand
       - isUsed: 1
       parm_decl a test6.c 15:17 - operand
        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
      integer_cst 200 - operand
function_decl func3 test6.c 23: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 23:18 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl a test6.c 23: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
 statement_list - code
  if_stmt test6.c 25:5 - statement
   eq_expr test6.c 25:10 - condition
    - isUsed: 1
    parm_decl a test6.c 23:17 - operand
     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
    integer_cst 0 - operand
   return_expr test6.c 26:9 - then
  cleanup_point_expr test6.c 28:13 - statement
   expr_stmt test6.c 28:13 - operand
    convert_expr - expresssion
     modify_expr - operand
      indirect_ref - operand
       - isUsed: 1
       parm_decl a test6.c 23:17 - operand
        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
      integer_cst 300 - operand
function_decl func4 test6.c 31: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 31:18 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl a test6.c 31: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
 if_stmt test6.c 33:5 - code
  ne_expr - condition
   - isUsed: 1
   parm_decl a test6.c 31:17 - operand
    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
   integer_cst 0 - operand
  cleanup_point_expr test6.c 35:17 - then
   expr_stmt test6.c 35:17 - operand
    convert_expr - expresssion
     modify_expr - operand
      indirect_ref - operand
       - isUsed: 1
       parm_decl a test6.c 31:17 - operand
        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
      integer_cst 400 - operand
function_decl func5 test6.c 39: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 39:18 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl a test6.c 39: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
 statement_list - code
  if_stmt test6.c 41:5 - statement
   ne_expr - condition
    - isUsed: 1
    parm_decl a test6.c 39:17 - operand
     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
    integer_cst 0 - operand
   cleanup_point_expr test6.c 43:17 - then
    expr_stmt test6.c 43:17 - operand
     convert_expr - expresssion
      modify_expr - operand
       indirect_ref - operand
        - isUsed: 1
        parm_decl a test6.c 39:17 - operand
         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
       integer_cst 500 - operand
  cleanup_point_expr test6.c 45:13 - statement
   expr_stmt test6.c 45:13 - operand
    convert_expr - expresssion
     modify_expr - operand
      indirect_ref - operand
       - isUsed: 1
       parm_decl a test6.c 39:17 - operand
        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
      integer_cst 600 - operand
function_decl func6 test6.c 48: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 48:18 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl a test6.c 48: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
 bind_expr test6.c 56:13 - code
  statement_list - operand
   bind_expr test6.c 54:5 - statement
    if_stmt test6.c 50:5 - operand
     eq_expr test6.c 50:10 - condition
      - isUsed: 1
      parm_decl a test6.c 48:17 - operand
       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
      integer_cst 0 - operand
     bind_expr test6.c 53:15 - then
      var_decl k test6.c 52:13 - operand
       integer_cst 32 - decl size
       integer_cst 10 - initial
       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 test6.c 52:17 - statement
        decl_expr test6.c 52:17 - operand
         var_decl k test6.c 52:13 - operand
       return_expr test6.c 53:9 - statement
      block - operand
       var_decl k test6.c 52:13 - block vars
    block - operand
     block - sub block
      var_decl k test6.c 52:13 - block vars
   cleanup_point_expr test6.c 56:13 - statement
    expr_stmt test6.c 56:13 - operand
     convert_expr - expresssion
      modify_expr - operand
       indirect_ref - operand
        - isUsed: 1
        parm_decl a test6.c 48:17 - operand
         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
       integer_cst 700 - operand
  block - operand
   block - sub block
    block - sub block
     var_decl k test6.c 52:13 - block vars
function_decl func7 test6.c 59: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 59:21 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl aptr test6.c 59: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
 bind_expr test6.c 70:16 - code
  statement_list - operand
   bind_expr test6.c 68:5 - statement
    if_stmt test6.c 61:5 - operand
     integer_cst 0 - condition
     bind_expr test6.c 67:9 - then
      bind_expr test6.c 67:9 - operand
       if_stmt test6.c 63:9 - operand
        eq_expr test6.c 63:14 - condition
         - isUsed: 1
         parm_decl aptr test6.c 59:17 - operand
          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
         integer_cst 0 - operand
        bind_expr test6.c 66:19 - then
         var_decl k test6.c 65:17 - operand
          integer_cst 32 - decl size
          integer_cst 10 - initial
          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 test6.c 65:21 - statement
           decl_expr test6.c 65:21 - operand
            var_decl k test6.c 65:17 - operand
          return_expr test6.c 66:13 - statement
         block - operand
          var_decl k test6.c 65:17 - block vars
       block - operand
        block - sub block
         var_decl k test6.c 65:17 - block vars
      block - operand
       block - sub block
        block - sub block
         var_decl k test6.c 65:17 - block vars
    block - operand
     block - sub block
      block - sub block
       block - sub block
        var_decl k test6.c 65:17 - block vars
   cleanup_point_expr test6.c 70:16 - statement
    expr_stmt test6.c 70:16 - operand
     convert_expr - expresssion
      modify_expr - operand
       indirect_ref - operand
        - isUsed: 1
        parm_decl aptr test6.c 59:17 - operand
         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
       integer_cst 800 - operand
  block - operand
   block - sub block
    block - sub block
     block - sub block
      block - sub block
       var_decl k test6.c 65:17 - block vars
function_decl func8 test6.c 73: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
   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 - chain
    void_type - value
     type_decl void <built-in> 0:0 - type name
     - isAutogenerated: 1
 result_decl test6.c 73:21 - function result
 - isAutogenerated: 1
  void_type - result type
   type_decl void <built-in> 0:0 - type name
   - isAutogenerated: 1
 - isUsed: 1
 parm_decl aptr test6.c 73: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
 bind_expr test6.c 85:16 - code
  statement_list - operand
   bind_expr test6.c 83:5 - statement
    if_stmt test6.c 75:5 - operand
     eq_expr test6.c 75:10 - condition
      - isUsed: 1
      parm_decl aptr test6.c 73:17 - operand
       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
      integer_cst 0 - operand
     bind_expr test6.c 82:15 - then
      statement_list - operand
       bind_expr test6.c 81:9 - statement
        if_stmt test6.c 77:9 - operand
         integer_cst 0 - condition
         bind_expr test6.c 80:23 - then
          var_decl k test6.c 79:17 - operand
           integer_cst 32 - decl size
           integer_cst 10 - initial
           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 test6.c 79:21 - statement
            decl_expr test6.c 79:21 - operand
             var_decl k test6.c 79:17 - operand
           cleanup_point_expr test6.c 80:21 - statement
            decl_expr test6.c 80:21 - operand
             var_decl l test6.c 80:17 - operand
              integer_cst 32 - decl size
              integer_cst 20 - initial
              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
          block - operand
           var_decl k test6.c 79:17 - block vars
           var_decl l test6.c 80:17 - block vars
        block - operand
         block - sub block
          var_decl k test6.c 79:17 - block vars
          var_decl l test6.c 80:17 - block vars
       return_expr test6.c 82:9 - statement
      block - operand
       block - sub block
        block - sub block
         var_decl k test6.c 79:17 - block vars
         var_decl l test6.c 80:17 - block vars
    block - operand
     block - sub block
      block - sub block
       block - sub block
        var_decl k test6.c 79:17 - block vars
        var_decl l test6.c 80:17 - block vars
   cleanup_point_expr test6.c 85:16 - statement
    expr_stmt test6.c 85:16 - operand
     convert_expr - expresssion
      modify_expr - operand
       indirect_ref - operand
        - isUsed: 1
        parm_decl aptr test6.c 73:17 - operand
         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
       integer_cst 900 - operand
  block - operand
   block - sub block
    block - sub block
     block - sub block
      block - sub block
       var_decl k test6.c 79:17 - block vars
       var_decl l test6.c 80:17 - block vars