diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/test6-03.txt | 4 | ||||
-rw-r--r-- | test/test6-04.txt | 338 |
2 files changed, 167 insertions, 175 deletions
diff --git a/test/test6-03.txt b/test/test6-03.txt index f0cf435..651aa6f 100644 --- a/test/test6-03.txt +++ b/test/test6-03.txt @@ -6,7 +6,3 @@ test6.c: In function 'void func5(int*)': test6.c:43:13: warning: Using variable without check for NULL *a = 600; ^ -test6.c: In function 'void func6(int*)': -test6.c:54:16: warning: Using variable without check for NULL - *aptr = 700; - ^ diff --git a/test/test6-04.txt b/test/test6-04.txt index a6b3619..9b349aa 100644 --- a/test/test6-04.txt +++ b/test/test6-04.txt @@ -1,179 +1,175 @@ -function_decl func1: | -cleanup_point_expr : a, | -expr_stmt : a, | -convert_expr : a, | -modify_expr : a, | +function_decl func1: +cleanup_point_expr : a, +expr_stmt : a, +convert_expr : a, +modify_expr : a, test6.c: In function 'void func1(int*)': test6.c:10:13: warning: Using variable without check for NULL *a = 100; ^ -indirect_ref : a, | -parm_decl a: a, | -pointer_type : a, | -integer_type : a, | -type_decl int: a, | -integer_cst 32: a, | -integer_cst -2147483648: a, | -integer_cst 2147483647: a, | -integer_cst 64: a, | -integer_cst 100: a, | -function_decl func2: | -if_stmt : a, | -return_expr : a, | -cleanup_point_expr : | -expr_stmt : | -convert_expr : | -modify_expr : | -indirect_ref : | -parm_decl a: | -pointer_type : | -integer_type : | -type_decl int: | -integer_cst 32: | -integer_cst -2147483648: | -integer_cst 2147483647: | -integer_cst 64: | -integer_cst 200: | -function_decl func3: | -statement_list : a, | -if_stmt : a, | -return_expr : a, | -cleanup_point_expr : a, | -expr_stmt : a, | -convert_expr : a, | -modify_expr : a, | -indirect_ref : a, | -parm_decl a: a, | -pointer_type : a, | -integer_type : a, | -type_decl int: a, | -integer_cst 32: a, | -integer_cst -2147483648: a, | -integer_cst 2147483647: a, | -integer_cst 64: a, | -integer_cst 300: a, | -function_decl func4: | -if_stmt : a, | -cleanup_point_expr : | -expr_stmt : | -convert_expr : | -modify_expr : | -indirect_ref : | -parm_decl a: | -pointer_type : | -integer_type : | -type_decl int: | -integer_cst 32: | -integer_cst -2147483648: | -integer_cst 2147483647: | -integer_cst 64: | -integer_cst 400: | -function_decl func5: | -statement_list : a, | -if_stmt : a, | -cleanup_point_expr : | -expr_stmt : | -convert_expr : | -modify_expr : | -indirect_ref : | -parm_decl a: | -pointer_type : | -integer_type : | -type_decl int: | -integer_cst 32: | -integer_cst -2147483648: | -integer_cst 2147483647: | -integer_cst 64: | -integer_cst 500: | -cleanup_point_expr : a, | -expr_stmt : a, | -convert_expr : a, | -modify_expr : a, | +indirect_ref : a, +parm_decl a: a, +pointer_type : a, +integer_type : a, +type_decl int: a, +integer_cst 32: a, +integer_cst -2147483648: a, +integer_cst 2147483647: a, +integer_cst 64: a, +integer_cst 100: a, +function_decl func2: +if_stmt : a, +return_expr : a, +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +indirect_ref : +parm_decl a: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 200: +function_decl func3: +statement_list : a, +if_stmt : a, +return_expr : a, +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +indirect_ref : +parm_decl a: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 300: +function_decl func4: +if_stmt : a, +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +indirect_ref : +parm_decl a: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 400: +function_decl func5: +statement_list : a, +if_stmt : a, +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +indirect_ref : +parm_decl a: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 500: +cleanup_point_expr : a, +expr_stmt : a, +convert_expr : a, +modify_expr : a, test6.c: In function 'void func5(int*)': test6.c:43:13: warning: Using variable without check for NULL *a = 600; ^ -indirect_ref : a, | -parm_decl a: a, | -pointer_type : a, | -integer_type : a, | -type_decl int: a, | -integer_cst 32: a, | -integer_cst -2147483648: a, | -integer_cst 2147483647: a, | -integer_cst 64: a, | -integer_cst 600: a, | -function_decl func6: | -bind_expr : aptr, | -statement_list : aptr, | -bind_expr : aptr, | -if_stmt : aptr, | -bind_expr : aptr, | -var_decl k: aptr, | -integer_cst 32: aptr, | -integer_type : aptr, | -type_decl int: aptr, | -integer_cst 32: aptr, | -integer_cst -2147483648: aptr, | -integer_cst 2147483647: aptr, | -integer_cst 10: aptr, | -statement_list : aptr, | -cleanup_point_expr : aptr, | -decl_expr : aptr, | -var_decl k: aptr, | -integer_cst 32: aptr, | -integer_type : aptr, | -type_decl int: aptr, | -integer_cst 32: aptr, | -integer_cst -2147483648: aptr, | -integer_cst 2147483647: aptr, | -integer_cst 10: aptr, | -return_expr : aptr, | -block : aptr, | -var_decl k: aptr, | -integer_cst 32: aptr, | -integer_type : aptr, | -type_decl int: aptr, | -integer_cst 32: aptr, | -integer_cst -2147483648: aptr, | -integer_cst 2147483647: aptr, | -integer_cst 10: aptr, | -block : aptr, | -block : aptr, | -var_decl k: aptr, | -integer_cst 32: aptr, | -integer_type : aptr, | -type_decl int: aptr, | -integer_cst 32: aptr, | -integer_cst -2147483648: aptr, | -integer_cst 2147483647: aptr, | -integer_cst 10: aptr, | -cleanup_point_expr : aptr, | -expr_stmt : aptr, | -convert_expr : aptr, | -modify_expr : aptr, | -test6.c: In function 'void func6(int*)': -test6.c:54:16: warning: Using variable without check for NULL - *aptr = 700; - ^ -indirect_ref : aptr, | -parm_decl aptr: aptr, | -pointer_type : aptr, | -integer_type : aptr, | -type_decl int: aptr, | -integer_cst 32: aptr, | -integer_cst -2147483648: aptr, | -integer_cst 2147483647: aptr, | -integer_cst 64: aptr, | -integer_cst 700: aptr, | -block : aptr, | -block : aptr, | -block : aptr, | -var_decl k: aptr, | -integer_cst 32: aptr, | -integer_type : aptr, | -type_decl int: aptr, | -integer_cst 32: aptr, | -integer_cst -2147483648: aptr, | -integer_cst 2147483647: aptr, | -integer_cst 10: aptr, | +indirect_ref : a, +parm_decl a: a, +pointer_type : a, +integer_type : a, +type_decl int: a, +integer_cst 32: a, +integer_cst -2147483648: a, +integer_cst 2147483647: a, +integer_cst 64: a, +integer_cst 600: a, +function_decl func6: +bind_expr : aptr, +statement_list : aptr, +bind_expr : aptr, +if_stmt : aptr, +bind_expr : aptr, +var_decl k: aptr, +integer_cst 32: aptr, +integer_type : aptr, +type_decl int: aptr, +integer_cst 32: aptr, +integer_cst -2147483648: aptr, +integer_cst 2147483647: aptr, +integer_cst 10: aptr, +statement_list : aptr, +cleanup_point_expr : aptr, +decl_expr : aptr, +var_decl k: aptr, +integer_cst 32: aptr, +integer_type : aptr, +type_decl int: aptr, +integer_cst 32: aptr, +integer_cst -2147483648: aptr, +integer_cst 2147483647: aptr, +integer_cst 10: aptr, +return_expr : aptr, +block : aptr, +var_decl k: aptr, +integer_cst 32: aptr, +integer_type : aptr, +type_decl int: aptr, +integer_cst 32: aptr, +integer_cst -2147483648: aptr, +integer_cst 2147483647: aptr, +integer_cst 10: aptr, +block : +block : +var_decl k: +integer_cst 32: +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 10: +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +indirect_ref : +parm_decl aptr: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 700: +block : +block : +block : +var_decl k: +integer_cst 32: +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 10: |