diff options
Diffstat (limited to 'test/test05-05.txt')
-rw-r--r-- | test/test05-05.txt | 204 |
1 files changed, 204 insertions, 0 deletions
diff --git a/test/test05-05.txt b/test/test05-05.txt new file mode 100644 index 0000000..3e8de4e --- /dev/null +++ b/test/test05-05.txt @@ -0,0 +1,204 @@ +function_decl func1: +cleanup_point_expr : b, +expr_stmt : b, +convert_expr : b, +modify_expr : b, +test05.c: In function 'void func1(int, int*, char)': +test05.c:12:13: warning: Using parameter 'b' without checking for null pointer + *b = 100; + ^ +indirect_ref : b, +parm_decl b: b, +pointer_type : b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +integer_cst 64: b, +integer_cst 100: b, +function_decl func2: +cleanup_point_expr : b, +expr_stmt : b, +convert_expr : b, +modify_expr : b, +indirect_ref : b, +pointer_plus_expr : b, +test05.c: In function 'void func2(int, int*, char)': +test05.c:17:9: warning: Using parameter 'b' without checking for null pointer + *(1 + b) = 200; + ^ +parm_decl b: b, +pointer_type : b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +integer_cst 64: b, +integer_cst 4: b, +integer_cst 200: b, +function_decl func3: +cleanup_point_expr : b, +expr_stmt : b, +convert_expr : b, +modify_expr : b, +indirect_ref : b, +pointer_plus_expr : b, +test05.c: In function 'void func3(int, int*, char)': +test05.c:22:9: warning: Using parameter 'b' without checking for null pointer + *(1 + (1 + b)) = 300; + ^ +parm_decl b: b, +pointer_type : b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +integer_cst 64: b, +integer_cst 8: b, +integer_cst 300: b, +function_decl func5: +bind_expr : b, +var_decl var1: b, +integer_cst 32: b, +integer_cst 1: b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +statement_list : b, +cleanup_point_expr : b, +decl_expr : b, +var_decl var1: b, +cleanup_point_expr : b, +expr_stmt : b, +convert_expr : b, +modify_expr : b, +indirect_ref : b, +pointer_plus_expr : b, +test05.c: In function 'void func5(int, int*, char)': +test05.c:28:12: warning: Using parameter 'b' without checking for null pointer + *(var1 + b) = 400; + ^ +parm_decl b: b, +pointer_type : b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +integer_cst 64: b, +nop_expr : b, +mult_expr : b, +nop_expr : b, +var_decl var1: b, +integer_cst 4: b, +integer_cst 400: b, +block : b, +var_decl var1: b, +function_decl func6: +bind_expr : b, +var_decl var2: b, +test05.c: In function 'void func6(int, int*, char)': +test05.c:33:10: warning: Using parameter 'b' without checking for null pointer + int *var2 = b; + ^ +integer_cst 64: b, +parm_decl b: b, +pointer_type : b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +statement_list : b, +decl_expr : b, +var_decl var2: b, +test05.c:33:10: warning: Using parameter 'b' without checking for null pointer +cleanup_point_expr : b, +expr_stmt : b, +convert_expr : b, +modify_expr : b, +indirect_ref : b, +var_decl var2: b, +test05.c:33:10: warning: Using parameter 'b' without checking for null pointer +integer_cst 500: b, +block : b, +var_decl var2: b, +test05.c:33:10: warning: Using parameter 'b' without checking for null pointer +function_decl func7: +bind_expr : b, +var_decl var3: b, +integer_cst 64: b, +pointer_plus_expr : b, +test05.c: In function 'void func7(int, int*, char)': +test05.c:39:20: warning: Using parameter 'b' without checking for null pointer + int *var3 = 12 + b; + ^ +parm_decl b: b, +pointer_type : b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +integer_cst 64: b, +integer_cst 48: b, +pointer_type : b, +integer_type : b, +type_decl int: b, +integer_cst 32: b, +integer_cst -2147483648: b, +integer_cst 2147483647: b, +statement_list : b, +decl_expr : b, +var_decl var3: b, +cleanup_point_expr : b, +expr_stmt : b, +convert_expr : b, +modify_expr : b, +indirect_ref : b, +var_decl var3: b, +integer_cst 600: b, +block : b, +var_decl var3: b, +function_decl func8: +bind_expr : bptr, +var_decl var4: bptr, +integer_cst 64: bptr, +addr_expr : bptr, +test05.c: In function 'void func8(int, int*, char)': +test05.c:45:11: warning: Using parameter 'bptr' without checking for null pointer + int **var4 = &bptr; + ^ +parm_decl bptr: bptr, +pointer_type : bptr, +integer_type : bptr, +type_decl int: bptr, +integer_cst 32: bptr, +integer_cst -2147483648: bptr, +integer_cst 2147483647: bptr, +integer_cst 64: bptr, +pointer_type : bptr, +pointer_type : bptr, +integer_type : bptr, +type_decl int: bptr, +integer_cst 32: bptr, +integer_cst -2147483648: bptr, +integer_cst 2147483647: bptr, +statement_list : bptr, +decl_expr : bptr, +var_decl var4: bptr, +cleanup_point_expr : bptr, +expr_stmt : bptr, +convert_expr : bptr, +modify_expr : bptr, +indirect_ref : bptr, +indirect_ref : bptr, +var_decl var4: bptr, +integer_cst 700: bptr, +block : bptr, +var_decl var4: bptr, |