diff options
-rw-r--r-- | test/test05-03.txt | 9 | ||||
-rw-r--r-- | test/test05-05.txt | 51 | ||||
-rw-r--r-- | test/test13-03.txt | 9 | ||||
-rw-r--r-- | test/test13-05.txt | 45 |
4 files changed, 51 insertions, 63 deletions
diff --git a/test/test05-03.txt b/test/test05-03.txt index f13f93d..dd7565a 100644 --- a/test/test05-03.txt +++ b/test/test05-03.txt @@ -15,12 +15,9 @@ test05.cpp:28:12: warning: Using parameter 'b' without checking for null pointer *(var1 + b) = 400; ^ test05.cpp: In function 'void func6(int, int*, char)': -test05.cpp:33:10: warning: Using parameter 'b' without checking for null pointer - int *var2 = b; - ^ -test05.cpp:33:10: warning: Using parameter 'b' without checking for null pointer -test05.cpp:33:10: warning: Using parameter 'b' without checking for null pointer -test05.cpp:33:10: warning: Using parameter 'b' without checking for null pointer +test05.cpp:34:16: warning: Using variable 'var2' without checking for null pointer + *var2 = 500; + ^ test05.cpp: In function 'void func7(int, int*, char)': test05.cpp:39:20: warning: Using parameter 'b' without checking for null pointer int *var3 = 12 + b; diff --git a/test/test05-05.txt b/test/test05-05.txt index 5851bd1..d0834c9 100644 --- a/test/test05-05.txt +++ b/test/test05-05.txt @@ -101,34 +101,31 @@ block : b, var_decl var1: b, function_decl func6: bind_expr : b, -var_decl var2: b, +var_decl var2: b, var2, +integer_cst 64: b, var2, +parm_decl b: b, var2, +pointer_type : b, var2, +integer_type : b, var2, +type_decl int: b, var2, +integer_cst 32: b, var2, +integer_cst -2147483648: b, var2, +integer_cst 2147483647: b, var2, +statement_list : b, var2, +decl_expr : b, var2, +var_decl var2: b, var2, +cleanup_point_expr : b, var2, +expr_stmt : b, var2, +convert_expr : b, var2, +modify_expr : b, var2, test05.cpp: In function 'void func6(int, int*, char)': -test05.cpp: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.cpp: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.cpp:33:10: warning: Using parameter 'b' without checking for null pointer -integer_cst 500: b, -block : b, -var_decl var2: b, -test05.cpp:33:10: warning: Using parameter 'b' without checking for null pointer +test05.cpp:34:16: warning: Using variable 'var2' without checking for null pointer + *var2 = 500; + ^ +indirect_ref : b, var2, +var_decl var2: b, var2, +integer_cst 500: b, var2, +block : b, var2, +var_decl var2: b, var2, function_decl func7: bind_expr : b, var_decl var3: b, diff --git a/test/test13-03.txt b/test/test13-03.txt index be7b019..1331f00 100644 --- a/test/test13-03.txt +++ b/test/test13-03.txt @@ -15,12 +15,9 @@ test13.c:28:12: warning: Using parameter 'b' without checking for null pointer *(var1 + b) = 400; ^ test13.c: In function 'func6': -test13.c:33:10: warning: Using parameter 'b' without checking for null pointer - int *var2 = b; - ^ -test13.c:33:10: warning: Using parameter 'b' without checking for null pointer -test13.c:33:10: warning: Using parameter 'b' without checking for null pointer -test13.c:33:10: warning: Using parameter 'b' without checking for null pointer +test13.c:34:11: warning: Using variable 'var2' without checking for null pointer + *var2 = 500; + ^ test13.c: In function 'func7': test13.c:39:20: warning: Using parameter 'b' without checking for null pointer int *var3 = 12 + b; diff --git a/test/test13-05.txt b/test/test13-05.txt index 1a64c29..351daaa 100644 --- a/test/test13-05.txt +++ b/test/test13-05.txt @@ -94,31 +94,28 @@ block : b, var_decl var1: b, function_decl func6: bind_expr : b, -var_decl var2: b, +var_decl var2: b, var2, +integer_cst 64: b, var2, +parm_decl b: b, var2, +pointer_type : b, var2, +integer_type : b, var2, +type_decl int: b, var2, +integer_cst 32: b, var2, +integer_cst -2147483648: b, var2, +integer_cst 2147483647: b, var2, +statement_list : b, var2, +decl_expr : b, var2, +var_decl var2: b, var2, +modify_expr : b, var2, test13.c: In function 'func6': -test13.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, -test13.c:33:10: warning: Using parameter 'b' without checking for null pointer -modify_expr : b, -indirect_ref : b, -var_decl var2: b, -test13.c:33:10: warning: Using parameter 'b' without checking for null pointer -integer_cst 500: b, -block : b, -var_decl var2: b, -test13.c:33:10: warning: Using parameter 'b' without checking for null pointer +test13.c:34:11: warning: Using variable 'var2' without checking for null pointer + *var2 = 500; + ^ +indirect_ref : b, var2, +var_decl var2: b, var2, +integer_cst 500: b, var2, +block : b, var2, +var_decl var2: b, var2, function_decl func7: bind_expr : b, var_decl var3: b, |