function_decl func1 test15.c 3:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 3:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 3:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 3:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 4:1 - code statement_list - operand cond_expr test15.c 5:8 - statement truth_orif_expr test15.c 5:14 - operand ne_expr test15.c 5:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 3:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 5:14 - operand - isUsed: 1 parm_decl ptr2 test15.c 3:28 - operand pointer_type - decl type integer_type - nested 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 test15.c 7:15 - operand indirect_ref test15.c 7:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 3:28 - ref pointer_type - decl type integer_type - nested 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 400 - operand modify_expr test15.c 11:15 - operand indirect_ref test15.c 11:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 3:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 13:15 - statement indirect_ref test15.c 13:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 3:17 - ref pointer_type - decl type integer_type - nested 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 200 - operand modify_expr test15.c 14:11 - statement indirect_ref test15.c 14:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 3:28 - ref pointer_type - decl type integer_type - nested 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 300 - operand block - operand function_decl func2 test15.c 17:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 17:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 17:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 17:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 18:1 - code statement_list - operand cond_expr test15.c 19:8 - statement truth_orif_expr test15.c 19:14 - operand ne_expr test15.c 19:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 17:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 19:14 - operand - isUsed: 1 parm_decl ptr2 test15.c 17:28 - operand pointer_type - decl type integer_type - nested 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 statement_list - operand modify_expr test15.c 21:15 - statement indirect_ref test15.c 21:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 17:28 - ref pointer_type - decl type integer_type - nested 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 400 - operand return_expr test15.c 22:9 - statement modify_expr test15.c 26:15 - operand indirect_ref test15.c 26:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 17:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 29:11 - statement indirect_ref test15.c 29:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 17:17 - ref pointer_type - decl type integer_type - nested 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 200 - operand modify_expr test15.c 30:11 - statement indirect_ref test15.c 30:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 17:28 - ref pointer_type - decl type integer_type - nested 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 300 - operand block - operand function_decl func3 test15.c 33:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 33:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 33:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 33:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 34:1 - code var_decl c test15.c 35: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 test15.c 35:9 - statement var_decl c test15.c 35:9 - operand - isUsed: 1 cond_expr test15.c 36:8 - statement truth_orif_expr test15.c 36:16 - operand eq_expr test15.c 36:11 - operand var_decl k test15.c 1: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 test15.c 35:9 - operand - isUsed: 1 eq_expr test15.c 36:19 - operand - isUsed: 1 parm_decl ptr1 test15.c 33:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 38:9 - operand modify_expr test15.c 42:15 - operand indirect_ref test15.c 42:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 33:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 45:11 - statement indirect_ref test15.c 45:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 33:17 - ref pointer_type - decl type integer_type - nested 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 200 - operand modify_expr test15.c 46:11 - statement indirect_ref test15.c 46:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 33:28 - ref pointer_type - decl type integer_type - nested 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 300 - operand block - operand var_decl c test15.c 35:9 - block vars - isUsed: 1 function_decl func4 test15.c 49:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 49:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 49:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 49:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 50:1 - code var_decl c test15.c 51: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 test15.c 51:9 - statement var_decl c test15.c 51:9 - operand - isUsed: 1 cond_expr test15.c 52:8 - statement truth_orif_expr test15.c 52:25 - operand truth_orif_expr test15.c 52:16 - operand eq_expr test15.c 52:11 - operand var_decl k test15.c 1: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 test15.c 51:9 - operand - isUsed: 1 eq_expr test15.c 52:19 - operand - isUsed: 1 parm_decl ptr1 test15.c 49:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 52:28 - operand - isUsed: 1 parm_decl ptr2 test15.c 49:28 - operand pointer_type - decl type integer_type - nested 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 test15.c 54:9 - operand modify_expr test15.c 58:15 - operand indirect_ref test15.c 58:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 49:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 61:11 - statement indirect_ref test15.c 61:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 49:17 - ref pointer_type - decl type integer_type - nested 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 200 - operand modify_expr test15.c 62:11 - statement indirect_ref test15.c 62:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 49:28 - ref pointer_type - decl type integer_type - nested 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 300 - operand block - operand var_decl c test15.c 51:9 - block vars - isUsed: 1 function_decl func5 test15.c 65:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 65:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 65:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 65:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 66:1 - code var_decl c test15.c 67: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 test15.c 67:9 - statement var_decl c test15.c 67:9 - operand - isUsed: 1 cond_expr test15.c 68:8 - statement truth_orif_expr test15.c 68:24 - operand truth_orif_expr test15.c 68:15 - operand eq_expr test15.c 68:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 65:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 68:18 - operand - isUsed: 1 parm_decl ptr2 test15.c 65:28 - operand pointer_type - decl type integer_type - nested 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 test15.c 68:29 - operand var_decl k test15.c 1: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 test15.c 67:9 - operand - isUsed: 1 modify_expr test15.c 70:11 - operand var_decl c test15.c 67:9 - operand - isUsed: 1 integer_cst 3 - operand modify_expr test15.c 74:15 - operand indirect_ref test15.c 74:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 65:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 77:11 - statement indirect_ref test15.c 77:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 65:17 - ref pointer_type - decl type integer_type - nested 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 200 - operand modify_expr test15.c 78:11 - statement indirect_ref test15.c 78:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 65:28 - ref pointer_type - decl type integer_type - nested 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 300 - operand block - operand var_decl c test15.c 67:9 - block vars - isUsed: 1 function_decl func6 test15.c 81:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 81:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 81:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 81:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 82:1 - code statement_list - operand cond_expr test15.c 83:8 - statement truth_andif_expr test15.c 83:14 - operand ne_expr test15.c 83:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 81:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 83:14 - operand - isUsed: 1 parm_decl ptr2 test15.c 81:28 - operand pointer_type - decl type integer_type - nested 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 statement_list - operand modify_expr test15.c 85:15 - statement indirect_ref test15.c 85:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 81:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 86:15 - statement indirect_ref test15.c 86:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 81:28 - ref pointer_type - decl type integer_type - nested 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 200 - operand return_expr test15.c 90:9 - operand modify_expr test15.c 93:11 - statement indirect_ref test15.c 93:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 81:17 - ref pointer_type - decl type integer_type - nested 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 300 - operand modify_expr test15.c 94:11 - statement indirect_ref test15.c 94:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 81:28 - ref pointer_type - decl type integer_type - nested 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 400 - operand block - operand function_decl func7 test15.c 97:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 97:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 97:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 97:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 98:1 - code statement_list - operand cond_expr test15.c 99:8 - statement truth_andif_expr test15.c 99:15 - operand eq_expr test15.c 99:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 97:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 99:18 - operand - isUsed: 1 parm_decl ptr2 test15.c 97:28 - operand pointer_type - decl type integer_type - nested 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 statement_list - operand modify_expr test15.c 101:15 - statement indirect_ref test15.c 101:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 97:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 102:15 - statement indirect_ref test15.c 102:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 97:28 - ref pointer_type - decl type integer_type - nested 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 200 - operand return_expr test15.c 106:9 - operand modify_expr test15.c 109:11 - statement indirect_ref test15.c 109:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 97:17 - ref pointer_type - decl type integer_type - nested 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 300 - operand modify_expr test15.c 110:11 - statement indirect_ref test15.c 110:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 97:28 - ref pointer_type - decl type integer_type - nested 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 400 - operand block - operand function_decl func8 test15.c 113:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 113:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 113:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 113:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 114:1 - code statement_list - operand cond_expr test15.c 115:8 - statement truth_andif_expr test15.c 115:14 - operand ne_expr test15.c 115:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 113:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 115:14 - operand - isUsed: 1 parm_decl ptr2 test15.c 113:28 - operand pointer_type - decl type integer_type - nested 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 statement_list - operand modify_expr test15.c 117:15 - statement indirect_ref test15.c 117:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 113:17 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 118:15 - statement indirect_ref test15.c 118:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 113:28 - ref pointer_type - decl type integer_type - nested 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 200 - operand return_expr test15.c 119:9 - statement statement_list - operand modify_expr test15.c 123:15 - statement indirect_ref test15.c 123:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 113:17 - ref pointer_type - decl type integer_type - nested 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 300 - operand modify_expr test15.c 124:15 - statement indirect_ref test15.c 124:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 113:28 - ref pointer_type - decl type integer_type - nested 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 400 - operand return_expr test15.c 125:9 - statement modify_expr test15.c 128:11 - statement indirect_ref test15.c 128:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 113:17 - ref pointer_type - decl type integer_type - nested 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 500 - operand modify_expr test15.c 129:11 - statement indirect_ref test15.c 129:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 113:28 - ref pointer_type - decl type integer_type - nested 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 600 - operand block - operand function_decl func9 test15.c 132:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 132:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 132:17 - argument pointer_type - decl type integer_type - nested 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 test15.c 132:28 - argument pointer_type - decl type integer_type - nested 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 test15.c 133:1 - code statement_list - operand cond_expr test15.c 134:8 - statement truth_orif_expr test15.c 134:14 - operand ne_expr test15.c 134:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 132:17 - operand pointer_type - decl type integer_type - nested 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 test15.c 134:14 - operand - isUsed: 1 parm_decl ptr2 test15.c 132:28 - operand pointer_type - decl type integer_type - nested 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 statement_list - operand modify_expr test15.c 136:15 - statement indirect_ref test15.c 136:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 132:28 - ref pointer_type - decl type integer_type - nested 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 100 - operand return_expr test15.c 137:9 - statement statement_list - operand modify_expr test15.c 141:15 - statement indirect_ref test15.c 141:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 132:17 - ref pointer_type - decl type integer_type - nested 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 200 - operand return_expr test15.c 142:9 - statement modify_expr test15.c 145:11 - statement indirect_ref test15.c 145:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 132:17 - ref pointer_type - decl type integer_type - nested 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 300 - operand modify_expr test15.c 146:11 - statement indirect_ref test15.c 146:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 132:28 - ref pointer_type - decl type integer_type - nested 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 400 - operand block - operand function_decl func10 test15.c 149:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 149:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 149:18 - argument pointer_type - decl type integer_type - nested 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 test15.c 149:29 - argument pointer_type - decl type integer_type - nested 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 test15.c 150:1 - code statement_list - operand cond_expr test15.c 151:8 - statement truth_andif_expr test15.c 151:22 - operand truth_andif_expr test15.c 151:14 - operand ne_expr test15.c 151:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 149:18 - operand pointer_type - decl type integer_type - nested 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 test15.c 151:14 - operand - isUsed: 1 parm_decl ptr2 test15.c 149:29 - operand pointer_type - decl type integer_type - nested 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 test15.c 151:22 - operand var_decl k test15.c 1: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 0 - operand statement_list - operand modify_expr test15.c 153:15 - statement indirect_ref test15.c 153:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 149:18 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 154:15 - statement indirect_ref test15.c 154:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 149:29 - ref pointer_type - decl type integer_type - nested 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 200 - operand return_expr test15.c 155:9 - statement statement_list - operand modify_expr test15.c 159:15 - statement indirect_ref test15.c 159:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 149:18 - ref pointer_type - decl type integer_type - nested 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 300 - operand modify_expr test15.c 160:15 - statement indirect_ref test15.c 160:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 149:29 - ref pointer_type - decl type integer_type - nested 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 400 - operand modify_expr test15.c 163:11 - statement indirect_ref test15.c 163:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 149:18 - ref pointer_type - decl type integer_type - nested 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 500 - operand modify_expr test15.c 164:11 - statement indirect_ref test15.c 164:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 149:29 - ref pointer_type - decl type integer_type - nested 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 600 - operand block - operand function_decl func11 test15.c 167:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 167:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 167:18 - argument pointer_type - decl type integer_type - nested 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 test15.c 167:29 - argument pointer_type - decl type integer_type - nested 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 test15.c 168:1 - code statement_list - operand cond_expr test15.c 169:8 - statement truth_orif_expr test15.c 169:22 - operand truth_andif_expr test15.c 169:14 - operand ne_expr test15.c 169:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 167:18 - operand pointer_type - decl type integer_type - nested 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 test15.c 169:14 - operand - isUsed: 1 parm_decl ptr2 test15.c 167:29 - operand pointer_type - decl type integer_type - nested 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 test15.c 169:22 - operand - isUsed: 1 parm_decl ptr1 test15.c 167:18 - operand pointer_type - decl type integer_type - nested 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 statement_list - operand modify_expr test15.c 171:15 - statement indirect_ref test15.c 171:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 167:18 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 172:15 - statement indirect_ref test15.c 172:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 167:29 - ref pointer_type - decl type integer_type - nested 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 200 - operand return_expr test15.c 173:9 - statement statement_list - operand modify_expr test15.c 177:15 - statement indirect_ref test15.c 177:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 167:18 - ref pointer_type - decl type integer_type - nested 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 300 - operand modify_expr test15.c 178:15 - statement indirect_ref test15.c 178:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 167:29 - ref pointer_type - decl type integer_type - nested 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 400 - operand modify_expr test15.c 181:11 - statement indirect_ref test15.c 181:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 167:18 - ref pointer_type - decl type integer_type - nested 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 500 - operand modify_expr test15.c 182:11 - statement indirect_ref test15.c 182:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 167:29 - ref pointer_type - decl type integer_type - nested 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 600 - operand block - operand function_decl func12 test15.c 185:6 - isPublic: 1 function_type - function type void_type - function return type type_decl void - type name tree_list - arg types pointer_type - value integer_type - nested 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 integer_type - nested 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 test15.c 185:6 - function result - isAutogenerated: 1 void_type - result type type_decl void - type name - isUsed: 1 parm_decl ptr1 test15.c 185:18 - argument pointer_type - decl type integer_type - nested 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 test15.c 185:29 - argument pointer_type - decl type integer_type - nested 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 test15.c 186:1 - code statement_list - operand cond_expr test15.c 187:8 - statement truth_orif_expr test15.c 187:14 - operand ne_expr test15.c 187:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 185:18 - operand pointer_type - decl type integer_type - nested 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 test15.c 187:17 - operand - isUsed: 1 parm_decl ptr1 test15.c 185:18 - operand pointer_type - decl type integer_type - nested 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 statement_list - operand modify_expr test15.c 189:15 - statement indirect_ref test15.c 189:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 185:18 - ref pointer_type - decl type integer_type - nested 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 100 - operand modify_expr test15.c 190:15 - statement indirect_ref test15.c 190:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 185:29 - ref pointer_type - decl type integer_type - nested 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 200 - operand return_expr test15.c 191:9 - statement statement_list - operand modify_expr test15.c 195:15 - statement indirect_ref test15.c 195:9 - operand - isUsed: 1 parm_decl ptr1 test15.c 185:18 - ref pointer_type - decl type integer_type - nested 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 300 - operand modify_expr test15.c 196:15 - statement indirect_ref test15.c 196:9 - operand - isUsed: 1 parm_decl ptr2 test15.c 185:29 - ref pointer_type - decl type integer_type - nested 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 400 - operand modify_expr test15.c 199:11 - statement indirect_ref test15.c 199:5 - operand - isUsed: 1 parm_decl ptr1 test15.c 185:18 - ref pointer_type - decl type integer_type - nested 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 500 - operand modify_expr test15.c 200:11 - statement indirect_ref test15.c 200:5 - operand - isUsed: 1 parm_decl ptr2 test15.c 185:29 - ref pointer_type - decl type integer_type - nested 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 600 - operand block - operand