summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2015-06-19 14:40:51 +0300
committerAndrei Karas <akaras@inbox.ru>2015-06-19 16:11:25 +0300
commitcfeea49b5c533fe7fe4dace22f68f63cbe8403e3 (patch)
tree07b41934066a4cb9d171997d33eb40ed496670f0 /test
parentf1c09fc39c4f5b98061712ec78c650a1b0d918ec (diff)
downloadparanucker-cfeea49b5c533fe7fe4dace22f68f63cbe8403e3.tar.gz
paranucker-cfeea49b5c533fe7fe4dace22f68f63cbe8403e3.tar.bz2
paranucker-cfeea49b5c533fe7fe4dace22f68f63cbe8403e3.tar.xz
paranucker-cfeea49b5c533fe7fe4dace22f68f63cbe8403e3.zip
Update test9.
Diffstat (limited to 'test')
-rw-r--r--test/test9-01.txt601
-rw-r--r--test/test9-02.txt3
-rw-r--r--test/test9-03.txt291
-rw-r--r--test/test9-04.txt27
-rw-r--r--test/test9.cpp36
5 files changed, 951 insertions, 7 deletions
diff --git a/test/test9-01.txt b/test/test9-01.txt
index cc4a7ae..9b35120 100644
--- a/test/test9-01.txt
+++ b/test/test9-01.txt
@@ -1519,3 +1519,604 @@ function_decl func9 test9.cpp 113:10
integer_cst 2147483647 - max value
integer_cst 64 - parm size
integer_cst 300 - operand
+function_decl func10 test9.cpp 128:10
+- isPublic: 1
+ method_type - function type
+ void_type - method return type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ record_type - method base type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ tree_list - arg types
+ pointer_type - value
+ record_type - nested type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ tree_list - chain
+ 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
+ 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 test9.cpp 129:5 - function result
+ - isAutogenerated: 1
+ void_type - result type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ parm_decl this test9.cpp 128:37 - argument
+ - isAutogenerated: 1
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 128:22 - 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
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 128:33 - 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 test9.cpp 140:20 - code
+ statement_list - operand
+ bind_expr test9.cpp 137:9 - statement
+ if_stmt test9.cpp 130:9 - operand
+ truth_orif_expr test9.cpp 130:19 - condition
+ eq_expr test9.cpp 130:14 - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 128:22 - 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
+ eq_expr test9.cpp 130:23 - operand
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 128:33 - 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 test9.cpp 132:22 - then
+ var_decl k test9.cpp 132:17 - operand
+ integer_cst 32 - decl size
+ integer_cst 0 - 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
+ cleanup_point_expr test9.cpp 132:21 - operand
+ decl_expr test9.cpp 132:21 - operand
+ var_decl k test9.cpp 132:17 - operand
+ block - operand
+ var_decl k test9.cpp 132:17 - block vars
+ cleanup_point_expr test9.cpp 136:24 - else
+ expr_stmt test9.cpp 136:24 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 128:22 - ref
+ 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
+ block - operand
+ block - sub block
+ var_decl k test9.cpp 132:17 - block vars
+ cleanup_point_expr test9.cpp 139:20 - statement
+ expr_stmt test9.cpp 139:20 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 128:22 - ref
+ 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
+ cleanup_point_expr test9.cpp 140:20 - statement
+ expr_stmt test9.cpp 140:20 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 128:33 - ref
+ 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
+ block - operand
+ block - sub block
+ block - sub block
+ var_decl k test9.cpp 132:17 - block vars
+function_decl func11 test9.cpp 143:10
+- isPublic: 1
+ method_type - function type
+ void_type - method return type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ record_type - method base type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ tree_list - arg types
+ pointer_type - value
+ record_type - nested type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ tree_list - chain
+ 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
+ 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 test9.cpp 144:5 - function result
+ - isAutogenerated: 1
+ void_type - result type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ parm_decl this test9.cpp 143:37 - argument
+ - isAutogenerated: 1
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 143:22 - 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
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 143:33 - 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 test9.cpp 152:20 - code
+ statement_list - operand
+ bind_expr test9.cpp 149:9 - statement
+ if_stmt test9.cpp 145:9 - operand
+ truth_orif_expr test9.cpp 145:19 - condition
+ eq_expr test9.cpp 145:14 - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 143:22 - 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
+ ne_expr - operand
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 143:33 - 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 test9.cpp 148:24 - then
+ var_decl k test9.cpp 147: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 test9.cpp 147:21 - statement
+ decl_expr test9.cpp 147:21 - operand
+ var_decl k test9.cpp 147:17 - operand
+ cleanup_point_expr test9.cpp 148:24 - statement
+ expr_stmt test9.cpp 148:24 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 143:22 - ref
+ 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
+ block - operand
+ var_decl k test9.cpp 147:17 - block vars
+ block - operand
+ block - sub block
+ var_decl k test9.cpp 147:17 - block vars
+ cleanup_point_expr test9.cpp 151:20 - statement
+ expr_stmt test9.cpp 151:20 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 143:22 - ref
+ 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
+ cleanup_point_expr test9.cpp 152:20 - statement
+ expr_stmt test9.cpp 152:20 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 143:33 - ref
+ 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
+ block - operand
+ block - sub block
+ block - sub block
+ var_decl k test9.cpp 147:17 - block vars
+function_decl func12 test9.cpp 155:10
+- isPublic: 1
+ method_type - function type
+ void_type - method return type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ record_type - method base type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ tree_list - arg types
+ pointer_type - value
+ record_type - nested type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ tree_list - chain
+ 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
+ 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 test9.cpp 156:5 - function result
+ - isAutogenerated: 1
+ void_type - result type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ - isUsed: 1
+ parm_decl this test9.cpp 155:37 - argument
+ - isAutogenerated: 1
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 155:22 - 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
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 155:33 - 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 test9.cpp 157:9 - statement
+ truth_orif_expr test9.cpp 157:19 - condition
+ eq_expr test9.cpp 157:14 - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 155:22 - 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
+ eq_expr test9.cpp 157:24 - operand
+ component_ref test9.cpp 157:22 - operand
+ indirect_ref - object
+ nop_expr - ref
+ - isUsed: 1
+ parm_decl this test9.cpp 155:37 - operand
+ - isAutogenerated: 1
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Object1 test9.cpp 1:7 - type name
+ - isAutogenerated: 1
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ type_decl Object1 test9.cpp 2:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ field_decl k test9.cpp 3:9 - field
+ - signed
+ integer_cst 32 - decl size
+ integer_cst 10 - operand
+ cleanup_point_expr test9.cpp 159:24 - then
+ expr_stmt test9.cpp 159:24 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 155:22 - ref
+ 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
+ cleanup_point_expr test9.cpp 163:24 - else
+ expr_stmt test9.cpp 163:24 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 155:22 - ref
+ 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
+ cleanup_point_expr test9.cpp 166:20 - statement
+ expr_stmt test9.cpp 166:20 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr1 test9.cpp 155:22 - ref
+ 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
+ cleanup_point_expr test9.cpp 167:20 - statement
+ expr_stmt test9.cpp 167:20 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ indirect_ref - operand
+ - isUsed: 1
+ parm_decl ptr2 test9.cpp 155:33 - ref
+ 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
diff --git a/test/test9-02.txt b/test/test9-02.txt
index c5c7083..36eaea1 100644
--- a/test/test9-02.txt
+++ b/test/test9-02.txt
@@ -7,3 +7,6 @@ func6: pointer_type ptr1, pointer_type ptr2,
func7: pointer_type ptr1, pointer_type ptr2,
func8: pointer_type ptr1, pointer_type ptr2,
func9: pointer_type ptr1, pointer_type ptr2,
+func10: pointer_type ptr1, pointer_type ptr2,
+func11: pointer_type ptr1, pointer_type ptr2,
+func12: pointer_type ptr1, pointer_type ptr2,
diff --git a/test/test9-03.txt b/test/test9-03.txt
index 53e02bc..7199984 100644
--- a/test/test9-03.txt
+++ b/test/test9-03.txt
@@ -611,3 +611,294 @@ integer_cst -2147483648: ptr1, ptr2,
integer_cst 2147483647: ptr1, ptr2,
integer_cst 64: ptr1, ptr2,
integer_cst 300: ptr1, ptr2,
+function_decl func10:
+bind_expr : ptr1, ptr2,
+statement_list : ptr1, ptr2,
+bind_expr : ptr1, ptr2,
+if_stmt : ptr1, ptr2,
+truth_orif_expr : ptr1, ptr2,
+eq_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+eq_expr : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+bind_expr : ptr1, ptr2,
+var_decl k: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+decl_expr : ptr1, ptr2,
+var_decl k: ptr1, ptr2,
+block : ptr1, ptr2,
+var_decl k: ptr1, ptr2,
+cleanup_point_expr :
+expr_stmt :
+convert_expr :
+modify_expr :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+integer_cst 64:
+integer_cst 100:
+block : ptr1, ptr2,
+block : ptr1, ptr2,
+var_decl k: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test9.cpp: In member function 'void Object1::func10(int*, int*)':
+test9.cpp:139:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 200;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test9.cpp:140:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 300;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
+block : ptr1, ptr2,
+block : ptr1, ptr2,
+block : ptr1, ptr2,
+var_decl k: ptr1, ptr2,
+function_decl func11:
+bind_expr : ptr1, ptr2,
+statement_list : ptr1, ptr2,
+bind_expr : ptr1, ptr2,
+if_stmt : ptr1, ptr2,
+truth_orif_expr : ptr1, ptr2,
+eq_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+bind_expr : ptr1,
+var_decl k: ptr1,
+integer_cst 32: ptr1,
+integer_cst 10: ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+statement_list : ptr1,
+cleanup_point_expr : ptr1,
+decl_expr : ptr1,
+var_decl k: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+convert_expr : ptr1,
+modify_expr : ptr1,
+test9.cpp: In member function 'void Object1::func11(int*, int*)':
+test9.cpp:148:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 100;
+ ^
+indirect_ref : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+integer_type : ptr1,
+type_decl int: ptr1,
+integer_cst 32: ptr1,
+integer_cst -2147483648: ptr1,
+integer_cst 2147483647: ptr1,
+integer_cst 64: ptr1,
+integer_cst 100: ptr1,
+block : ptr1,
+var_decl k: ptr1,
+block : ptr1, ptr2,
+block : ptr1, ptr2,
+var_decl k: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test9.cpp:151:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 200;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test9.cpp:152:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 300;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
+block : ptr1, ptr2,
+block : ptr1, ptr2,
+block : ptr1, ptr2,
+var_decl k: ptr1, ptr2,
+function_decl func12:
+statement_list : ptr1, ptr2,
+if_stmt : ptr1, ptr2,
+truth_orif_expr : ptr1, ptr2,
+eq_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+eq_expr : ptr1, ptr2,
+component_ref : ptr1, ptr2,
+indirect_ref : ptr1, ptr2,
+nop_expr : ptr1, ptr2,
+parm_decl this: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Object1: ptr1, ptr2,
+field_decl k: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Object1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl k: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 10: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test9.cpp: In member function 'void Object1::func12(int*, int*)':
+test9.cpp:159:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 100;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
+cleanup_point_expr : ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 64: ptr2,
+integer_cst 400: ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test9.cpp:166:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 200;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test9.cpp:167:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 300;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
diff --git a/test/test9-04.txt b/test/test9-04.txt
index f4a465f..a5f2775 100644
--- a/test/test9-04.txt
+++ b/test/test9-04.txt
@@ -50,3 +50,30 @@ test9.cpp:124:20: warning: Using parameter 'ptr1' without checking for null poin
test9.cpp:125:20: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 300;
^
+test9.cpp: In member function 'void Object1::func10(int*, int*)':
+test9.cpp:139:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 200;
+ ^
+test9.cpp:140:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 300;
+ ^
+test9.cpp: In member function 'void Object1::func11(int*, int*)':
+test9.cpp:148:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 100;
+ ^
+test9.cpp:151:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 200;
+ ^
+test9.cpp:152:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 300;
+ ^
+test9.cpp: In member function 'void Object1::func12(int*, int*)':
+test9.cpp:159:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 100;
+ ^
+test9.cpp:166:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 200;
+ ^
+test9.cpp:167:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 300;
+ ^
diff --git a/test/test9.cpp b/test/test9.cpp
index da0a297..856188e 100644
--- a/test/test9.cpp
+++ b/test/test9.cpp
@@ -125,23 +125,45 @@ class Object1
*ptr2 = 300;
}
+ void func10(int *ptr1, int *ptr2)
+ {
+ if (!ptr1 || !ptr2)
+ {
+ int k = 0;
+ }
+ else
+ {
+ *ptr1 = 100;
+ }
+ *ptr1 = 200;
+ *ptr2 = 300;
+ }
-/*
- void func8(int *ptr1, int *ptr2)
+ void func11(int *ptr1, int *ptr2)
{
- int c;
- if (k == c || !ptr1)
+ if (!ptr1 || ptr2)
{
- return;
+ int k = 10;
+ *ptr1 = 100;
}
- else
+
+ *ptr1 = 200;
+ *ptr2 = 300;
+ }
+
+ void func12(int *ptr1, int *ptr2)
+ {
+ if (!ptr1 || k == 10)
{
*ptr1 = 100;
}
+ else
+ {
+ *ptr1 = 400;
+ }
*ptr1 = 200;
*ptr2 = 300;
}
-*/
};