hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix other copies of the argHasPostUpdate test

Browse Source
This commit is contained in:
Jonas Jensen
2020-03-30 17:45:53 +02:00
parent dd322be238
commit 531ef64c5d
4 changed files with 3 additions and 883 deletions
Download Patch File Download Diff File Expand all files Collapse all files

76
cpp/ql/test/library-tests/dataflow/fields/dataflow-consistency.expected
View File

@@ -41,94 +41,18 @@ postIsInSameCallable
reverseRead
storeIsPostUpdate
argHasPostUpdate
| A.cpp:40:15:40:21 | 0 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:41:15:41:21 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:55:12:55:19 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:56:13:56:15 | call to get | ArgumentNode is missing PostUpdateNode. |
| A.cpp:57:17:57:23 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:57:28:57:30 | call to get | ArgumentNode is missing PostUpdateNode. |
| A.cpp:64:21:64:28 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:73:25:73:32 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:126:12:126:18 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:151:21:151:21 | call to r | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:32:160:59 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:43:160:49 | 0 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:52:160:58 | 0 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:161:29:161:35 | 0 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:162:29:162:35 | 0 | ArgumentNode is missing PostUpdateNode. |
| B.cpp:7:28:7:34 | 0 | ArgumentNode is missing PostUpdateNode. |
| B.cpp:16:28:16:34 | 0 | ArgumentNode is missing PostUpdateNode. |
| C.cpp:29:10:29:11 | s1 | ArgumentNode is missing PostUpdateNode. |
| C.cpp:30:10:30:11 | s2 | ArgumentNode is missing PostUpdateNode. |
| C.cpp:31:10:31:11 | s3 | ArgumentNode is missing PostUpdateNode. |
| C.cpp:32:10:32:11 | s4 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:22:25:22:31 | call to getElem | ArgumentNode is missing PostUpdateNode. |
| D.cpp:29:24:29:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:29:33:29:39 | 0 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:36:24:36:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:36:33:36:39 | 0 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:43:24:43:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:43:33:43:39 | 0 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:50:24:50:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:50:33:50:39 | 0 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:57:25:57:41 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:57:34:57:40 | 0 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:27:14:27:15 | s3 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:29:11:29:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:30:11:30:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:31:11:31:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:38:11:38:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:43:13:43:14 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:50:11:50:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:55:14:55:15 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:62:14:62:15 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:73:12:73:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:80:12:80:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:87:12:87:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:93:12:93:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:40:12:40:15 | this | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:44:26:44:29 | this | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:50:17:50:26 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:51:8:51:8 | s | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:51:10:51:20 | call to getDirectly | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:56:19:56:28 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:57:8:57:8 | s | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:57:10:57:22 | call to getIndirectly | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:62:25:62:34 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:63:8:63:8 | s | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:63:10:63:28 | call to getThroughNonMember | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:68:21:68:30 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:69:8:69:20 | call to nonMemberGetA | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:69:22:69:23 | & ... | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:22:13:22:13 | 0 | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:22:16:22:16 | 0 | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:44:12:44:12 | call to a | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:45:12:45:12 | call to b | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:55:13:55:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:56:13:56:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:57:13:57:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:58:13:58:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:28:12:28:12 | call to a | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:29:12:29:12 | call to b | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:34:11:34:20 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:34:25:34:25 | 0 | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:35:11:35:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:35:14:35:23 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:36:11:36:20 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:36:25:36:34 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:37:11:37:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:37:14:37:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:28:12:28:12 | call to a | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:29:12:29:12 | call to b | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:34:11:34:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:34:14:34:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:35:11:35:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:35:14:35:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:36:11:36:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:36:14:36:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:37:11:37:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:37:14:37:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:39:12:39:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:40:12:40:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:41:12:41:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:42:12:42:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |

312
cpp/ql/test/library-tests/dataflow/fields/dataflow-ir-consistency.expected
View File

@@ -24,315 +24,3 @@ postIsInSameCallable
reverseRead
storeIsPostUpdate
argHasPostUpdate
| A.cpp:9:9:9:9 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| A.cpp:14:9:14:9 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| A.cpp:31:14:31:21 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:31:14:31:21 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:31:20:31:20 | c | ArgumentNode is missing PostUpdateNode. |
| A.cpp:38:7:38:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| A.cpp:39:7:39:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| A.cpp:40:5:40:6 | cc | ArgumentNode is missing PostUpdateNode. |
| A.cpp:40:15:40:21 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:41:5:41:6 | ct | ArgumentNode is missing PostUpdateNode. |
| A.cpp:41:15:41:21 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:41:15:41:21 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:41:15:41:21 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:42:10:42:12 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:43:10:43:12 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:47:12:47:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:47:12:47:18 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:48:20:48:20 | c | ArgumentNode is missing PostUpdateNode. |
| A.cpp:49:10:49:13 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:54:12:54:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:54:12:54:18 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:55:5:55:5 | b | ArgumentNode is missing PostUpdateNode. |
| A.cpp:55:12:55:19 | (C *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:55:12:55:19 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:55:12:55:19 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:56:10:56:10 | b | ArgumentNode is missing PostUpdateNode. |
| A.cpp:56:10:56:17 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:57:10:57:32 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:57:11:57:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:57:11:57:24 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:57:17:57:23 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:57:17:57:23 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:62:13:62:19 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:62:13:62:19 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:64:17:64:18 | b1 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:64:21:64:28 | (C *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:64:21:64:28 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:64:21:64:28 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:65:10:65:14 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:66:10:66:14 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:71:13:71:19 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:71:13:71:19 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:73:21:73:22 | b1 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:73:25:73:32 | (C *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:73:25:73:32 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:73:25:73:32 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:74:10:74:14 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:75:10:75:14 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:81:17:81:18 | b1 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:81:21:81:21 | c | ArgumentNode is missing PostUpdateNode. |
| A.cpp:89:15:89:21 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:89:15:89:21 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:90:7:90:8 | b2 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:90:15:90:15 | c | ArgumentNode is missing PostUpdateNode. |
| A.cpp:98:12:98:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:99:14:99:21 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:99:14:99:21 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:101:8:101:9 | (C *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:107:12:107:16 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:116:12:116:19 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:116:12:116:19 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:120:12:120:16 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:126:5:126:5 | b | ArgumentNode is missing PostUpdateNode. |
| A.cpp:126:12:126:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:126:12:126:18 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:130:12:130:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:130:12:130:18 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:131:8:131:8 | b | ArgumentNode is missing PostUpdateNode. |
| A.cpp:132:10:132:13 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:142:14:142:20 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:142:14:142:20 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:143:25:143:31 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:143:25:143:31 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:150:12:150:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:150:12:150:18 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:151:12:151:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:151:12:151:24 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:151:18:151:18 | b | ArgumentNode is missing PostUpdateNode. |
| A.cpp:151:21:151:21 | call to r | ArgumentNode is missing PostUpdateNode. |
| A.cpp:152:10:152:13 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:153:10:153:16 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:154:10:154:13 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:159:12:159:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:159:12:159:18 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:18:160:60 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:18:160:60 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:29:160:29 | b | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:32:160:59 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:32:160:59 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:43:160:49 | (B *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:160:52:160:58 | (MyList *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:161:18:161:40 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:161:18:161:40 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:161:29:161:35 | (B *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:161:38:161:39 | l1 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:162:18:162:40 | Constant | ArgumentNode is missing PostUpdateNode. |
| A.cpp:162:18:162:40 | new | ArgumentNode is missing PostUpdateNode. |
| A.cpp:162:29:162:35 | (B *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:162:38:162:39 | l2 | ArgumentNode is missing PostUpdateNode. |
| A.cpp:163:10:163:17 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:164:10:164:23 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:165:10:165:29 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:166:10:166:35 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| A.cpp:169:12:169:18 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| B.cpp:6:15:6:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| B.cpp:7:16:7:35 | Constant | ArgumentNode is missing PostUpdateNode. |
| B.cpp:7:16:7:35 | new | ArgumentNode is missing PostUpdateNode. |
| B.cpp:7:25:7:25 | e | ArgumentNode is missing PostUpdateNode. |
| B.cpp:7:28:7:34 | (Elem *)... | ArgumentNode is missing PostUpdateNode. |
| B.cpp:8:16:8:27 | Constant | ArgumentNode is missing PostUpdateNode. |
| B.cpp:8:16:8:27 | new | ArgumentNode is missing PostUpdateNode. |
| B.cpp:8:25:8:26 | b1 | ArgumentNode is missing PostUpdateNode. |
| B.cpp:9:10:9:24 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| B.cpp:10:10:10:24 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| B.cpp:15:15:15:27 | Constant | ArgumentNode is missing PostUpdateNode. |
| B.cpp:16:16:16:38 | Constant | ArgumentNode is missing PostUpdateNode. |
| B.cpp:16:16:16:38 | new | ArgumentNode is missing PostUpdateNode. |
| B.cpp:16:28:16:34 | (Elem *)... | ArgumentNode is missing PostUpdateNode. |
| B.cpp:16:37:16:37 | e | ArgumentNode is missing PostUpdateNode. |
| B.cpp:17:16:17:27 | Constant | ArgumentNode is missing PostUpdateNode. |
| B.cpp:17:16:17:27 | new | ArgumentNode is missing PostUpdateNode. |
| B.cpp:17:25:17:26 | b1 | ArgumentNode is missing PostUpdateNode. |
| B.cpp:18:10:18:24 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| B.cpp:19:10:19:24 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| C.cpp:18:12:18:18 | Constant | ArgumentNode is missing PostUpdateNode. |
| C.cpp:18:12:18:18 | new | ArgumentNode is missing PostUpdateNode. |
| C.cpp:19:5:19:5 | c | ArgumentNode is missing PostUpdateNode. |
| C.cpp:22:12:22:21 | Constant | ArgumentNode is missing PostUpdateNode. |
| C.cpp:24:16:24:25 | Constant | ArgumentNode is missing PostUpdateNode. |
| C.cpp:32:10:32:11 | (const void *)... | ArgumentNode is missing PostUpdateNode. |
| D.cpp:22:10:22:11 | b2 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:22:10:22:33 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| D.cpp:22:14:22:20 | call to getBox1 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:28:15:28:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:29:15:29:41 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:29:15:29:41 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:29:24:29:40 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:29:24:29:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:29:33:29:39 | (Elem *)... | ArgumentNode is missing PostUpdateNode. |
| D.cpp:31:14:31:14 | b | ArgumentNode is missing PostUpdateNode. |
| D.cpp:35:15:35:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:36:15:36:41 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:36:15:36:41 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:36:24:36:40 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:36:24:36:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:36:33:36:39 | (Elem *)... | ArgumentNode is missing PostUpdateNode. |
| D.cpp:37:8:37:10 | box | ArgumentNode is missing PostUpdateNode. |
| D.cpp:37:21:37:21 | e | ArgumentNode is missing PostUpdateNode. |
| D.cpp:38:14:38:14 | b | ArgumentNode is missing PostUpdateNode. |
| D.cpp:42:15:42:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:43:15:43:41 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:43:15:43:41 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:43:24:43:40 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:43:24:43:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:43:33:43:39 | (Elem *)... | ArgumentNode is missing PostUpdateNode. |
| D.cpp:44:5:44:5 | b | ArgumentNode is missing PostUpdateNode. |
| D.cpp:45:14:45:14 | b | ArgumentNode is missing PostUpdateNode. |
| D.cpp:49:15:49:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:50:15:50:41 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:50:15:50:41 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:50:24:50:40 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:50:24:50:40 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:50:33:50:39 | (Elem *)... | ArgumentNode is missing PostUpdateNode. |
| D.cpp:51:5:51:5 | b | ArgumentNode is missing PostUpdateNode. |
| D.cpp:51:8:51:14 | call to getBox1 | ArgumentNode is missing PostUpdateNode. |
| D.cpp:51:27:51:27 | e | ArgumentNode is missing PostUpdateNode. |
| D.cpp:52:14:52:14 | b | ArgumentNode is missing PostUpdateNode. |
| D.cpp:56:15:56:24 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:57:16:57:42 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:57:16:57:42 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:57:25:57:41 | Constant | ArgumentNode is missing PostUpdateNode. |
| D.cpp:57:25:57:41 | new | ArgumentNode is missing PostUpdateNode. |
| D.cpp:57:34:57:40 | (Elem *)... | ArgumentNode is missing PostUpdateNode. |
| D.cpp:64:10:64:28 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| E.cpp:21:18:21:23 | buffer | ArgumentNode is missing PostUpdateNode. |
| E.cpp:28:21:28:23 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| E.cpp:29:21:29:29 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| E.cpp:30:21:30:33 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| E.cpp:31:10:31:12 | raw | ArgumentNode is missing PostUpdateNode. |
| E.cpp:32:13:32:18 | buffer | ArgumentNode is missing PostUpdateNode. |
| E.cpp:33:18:33:19 | & ... | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:25:17:25:19 | & ... | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:26:19:26:20 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:27:14:27:15 | s3 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:29:11:29:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:30:11:30:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:31:11:31:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:38:11:38:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:43:13:43:14 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:50:11:50:12 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:55:14:55:15 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:62:14:62:15 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:73:12:73:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:80:12:80:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:87:12:87:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| aliasing.cpp:93:12:93:13 | m1 | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:20:5:20:8 | this | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:20:23:20:27 | value | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:24:19:24:22 | this | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:24:25:24:29 | value | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:40:12:40:15 | this | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:44:26:44:29 | this | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:50:3:50:3 | s | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:50:17:50:26 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:51:8:51:8 | (const S)... | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:51:10:51:20 | call to getDirectly | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:56:3:56:3 | s | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:56:19:56:28 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:57:8:57:8 | (const S)... | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:57:10:57:22 | call to getIndirectly | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:62:3:62:3 | s | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:62:25:62:34 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:63:8:63:8 | (const S)... | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:63:10:63:28 | call to getThroughNonMember | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:68:17:68:18 | & ... | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:68:21:68:30 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:69:8:69:20 | call to nonMemberGetA | ArgumentNode is missing PostUpdateNode. |
| by_reference.cpp:69:22:69:23 | (const S *)... | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:22:11:22:17 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:22:13:22:13 | 0 | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:22:16:22:16 | 0 | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:44:10:44:10 | f | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:44:12:44:12 | call to a | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:45:10:45:10 | f | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:45:12:45:12 | call to b | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:50:7:50:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:51:7:51:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:52:7:52:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:53:7:53:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:55:6:55:6 | f | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:55:13:55:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:56:6:56:6 | f | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:56:13:56:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:57:6:57:6 | f | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:57:13:57:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:58:6:58:6 | f | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:58:13:58:22 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:61:7:61:8 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:64:7:64:8 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:67:7:67:8 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| complex.cpp:70:7:70:8 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:28:10:28:10 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:28:12:28:12 | call to a | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:29:10:29:10 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:29:12:29:12 | call to b | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:34:9:34:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:34:11:34:20 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:34:25:34:25 | 0 | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:35:9:35:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:35:11:35:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:35:14:35:23 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:36:9:36:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:36:11:36:20 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:36:25:36:34 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:37:9:37:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:37:11:37:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:37:14:37:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:40:9:40:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:43:9:43:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:46:9:46:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| constructors.cpp:49:9:49:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (const void *)... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (const void *)... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (const void *)... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:28:10:28:10 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:28:12:28:12 | call to a | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:29:10:29:10 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:29:12:29:12 | call to b | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:34:9:34:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:34:11:34:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:34:14:34:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:35:9:35:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:35:11:35:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:35:14:35:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:36:9:36:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:36:11:36:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:36:14:36:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:37:9:37:9 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:37:11:37:11 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:37:14:37:14 | 0 | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:39:5:39:5 | f | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:39:12:39:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:40:5:40:5 | g | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:40:12:40:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:41:5:41:5 | h | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:41:12:41:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:42:5:42:5 | h | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:42:12:42:21 | call to user_input | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:45:9:45:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:48:9:48:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:51:9:51:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| simple.cpp:54:9:54:9 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:15:12:15:12 | a | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:16:12:16:12 | b | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:22:11:22:11 | a | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:23:11:23:11 | b | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:24:10:24:12 | & ... | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:31:23:31:23 | a | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:32:23:32:23 | b | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:33:25:33:25 | a | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:34:25:34:25 | b | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:36:10:36:24 | & ... | ArgumentNode is missing PostUpdateNode. |
| struct_init.c:46:16:46:24 | pointerAB | ArgumentNode is missing PostUpdateNode. |

188
cpp/ql/test/library-tests/syntax-zoo/dataflow-consistency.expected
View File

@@ -91,196 +91,8 @@ postIsInSameCallable
reverseRead
storeIsPostUpdate
argHasPostUpdate
| CPP-309.cpp:7:5:7:20 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| CPP-309.cpp:7:9:7:9 | 2 | ArgumentNode is missing PostUpdateNode. |
| CPP-309.cpp:7:12:7:12 | 3 | ArgumentNode is missing PostUpdateNode. |
| CPP-309.cpp:11:13:11:13 | 1 | ArgumentNode is missing PostUpdateNode. |
| VacuousDestructorCall.cpp:10:18:10:18 | i | ArgumentNode is missing PostUpdateNode. |
| abortingfunctions.cpp:45:13:45:13 | 0 | ArgumentNode is missing PostUpdateNode. |
| abortingfunctions.cpp:45:16:45:16 | 0 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:14:16:36 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:18:16:19 | 11 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:22:16:23 | 22 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:30:16:31 | 33 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:34:16:35 | 44 | ArgumentNode is missing PostUpdateNode. |
| bad_asts.cpp:16:25:16:25 | 1 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:8:32:8:32 | 0 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:8:35:8:37 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:8:40:8:40 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:10:20:10:26 | ... != ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:20:33:20:35 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:21:33:21:35 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:21:38:21:38 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:22:34:22:36 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:22:39:22:39 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:28:31:28:38 | ... == ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:34:34:34:34 | x | ArgumentNode is missing PostUpdateNode. |
| builtin.c:39:25:39:27 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:39:30:39:30 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:39:33:39:33 | 1 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:43:26:43:28 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:43:37:43:37 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:45:33:45:41 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:47:24:47:30 | Hello | ArgumentNode is missing PostUpdateNode. |
| builtin.c:47:33:47:35 | 101 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:47:38:47:38 | 5 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:51:41:51:43 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:51:46:51:46 | 0 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:54:41:54:41 | 0 | ArgumentNode is missing PostUpdateNode. |
| builtin.cpp:14:40:14:44 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| builtin.cpp:15:31:15:35 | * ... | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:16:20:16:20 | x | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:26:24:26:24 | x | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:41:23:41:23 | x | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:23:48:24 | - ... | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:35:48:36 | - ... | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:53:48:53 | x | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:9:30:13 | call to C1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:12:30:12 | 1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:18:30:22 | call to C1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:21:30:21 | 2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:9:33:13 | call to C1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:12:33:12 | 3 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:18:33:22 | call to C1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:21:33:21 | 3 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:9:39:13 | call to C2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:12:39:12 | 1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:18:39:22 | call to C2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:21:39:21 | 2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:9:42:13 | call to C2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:12:42:12 | 3 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:18:42:22 | call to C2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:21:42:21 | 3 | ArgumentNode is missing PostUpdateNode. |
| constructorinitializer.cpp:8:6:8:10 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| constructorinitializer.cpp:8:13:8:17 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:28:21:28:21 | (__end) | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:77:5:77:17 | unaryFunction | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:77:19:77:21 | arg | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:77:19:77:21 | arg | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:77:19:77:21 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:11:82:14 | arg2 | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:11:82:14 | arg2 | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:11:82:14 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:17:82:55 | [...](...){...} | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:17:82:55 | [...](...){...} | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:30:82:52 | arg1 | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:45:82:48 | arg1 | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:45:82:48 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:51:82:51 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:51:82:51 | x | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:51:82:51 | x | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:12:88:22 | doSomething | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:25:88:30 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:29:88:29 | 1 | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:33:88:38 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:37:88:37 | 2 | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:5:15:45 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:38:15:41 | args | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:38:15:41 | args | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:38:15:41 | p#2 | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:19:13:19:13 | 1 | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:19:16:19:16 | 2 | ArgumentNode is missing PostUpdateNode. |
| destructors.cpp:52:14:52:16 | ref | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:377:16:377:16 | x | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:377:19:377:19 | y | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:381:32:381:32 | x | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:381:35:381:35 | y | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:552:16:552:16 | 5 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:585:20:585:26 | %d %s | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:585:29:585:29 | 1 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:585:32:585:39 | string | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:617:15:617:21 | hello | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:619:24:619:29 | test | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:623:5:623:5 | r | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:624:5:624:5 | p | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:625:5:625:5 | s | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:653:38:653:38 | 0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:654:40:654:40 | 1 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:655:32:655:32 | 2 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:662:13:662:18 | test | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:700:7:700:7 | 5 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:709:14:709:14 | x | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:709:17:709:17 | y | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:721:41:721:47 | 0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:721:50:721:52 | 111 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:731:32:731:46 | String object | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:736:18:736:18 | s | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:745:8:745:8 | base_s | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:754:8:754:8 | * ... | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:754:8:754:8 | middle_s | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:763:8:763:8 | * ... | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:763:8:763:8 | derived_s | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:808:7:808:7 | m | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:809:7:809:13 | call to Base | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:809:13:809:13 | m | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:810:7:810:26 | call to Base | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:810:25:810:25 | m | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:816:16:816:16 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:817:28:817:28 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:822:7:822:7 | d | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:823:7:823:13 | call to Base | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:823:13:823:13 | d | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:824:7:824:26 | call to Base | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:824:25:824:25 | d | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:830:17:830:17 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:831:29:831:29 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:868:10:868:11 | | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:942:3:942:15 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:942:7:942:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:945:3:945:27 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:945:7:945:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:945:20:945:26 | hello | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:947:3:947:25 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:947:7:947:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:947:25:947:25 | 128 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:953:3:953:18 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:953:7:953:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:956:3:956:27 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:956:7:956:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:956:28:956:28 | 128 | ArgumentNode is missing PostUpdateNode. |
| membercallexpr_args.cpp:10:10:10:14 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| membercallexpr_args.cpp:10:17:10:21 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| misc.c:83:14:83:14 | i | ArgumentNode is missing PostUpdateNode. |
| misc.c:83:17:83:17 | j | ArgumentNode is missing PostUpdateNode. |
| misc.c:84:16:84:16 | i | ArgumentNode is missing PostUpdateNode. |
| misc.c:84:19:84:19 | j | ArgumentNode is missing PostUpdateNode. |
| misc.c:147:16:147:16 | i | ArgumentNode is missing PostUpdateNode. |
| misc.c:147:19:147:19 | j | ArgumentNode is missing PostUpdateNode. |
| misc.c:228:31:228:40 | global_int | ArgumentNode is missing PostUpdateNode. |
| misc.c:229:32:229:41 | global_int | ArgumentNode is missing PostUpdateNode. |
| misc.c:230:27:230:36 | global_int | ArgumentNode is missing PostUpdateNode. |
| misc.c:231:29:231:38 | global_int | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:13:21:13:35 | Hello, world! | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:14:21:14:21 | 0 | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:28:26:28:28 | 256 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:11:12:11:14 | 101 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:14:16:14:18 | 102 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:18:16:18:18 | 103 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:21:16:21:18 | 104 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:24:12:24:14 | 105 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:28:12:28:14 | 101 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:31:16:31:18 | 106 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:35:16:35:18 | 107 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:38:16:38:18 | 108 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:41:12:41:14 | 109 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:48:10:48:12 | 201 | ArgumentNode is missing PostUpdateNode. |
| newexpr.cpp:8:8:8:12 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| newexpr.cpp:8:15:8:19 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| no_dynamic_init.cpp:5:12:5:35 | Goodbye cruel world.\n | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:19:15:19:22 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:20:18:20:30 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:21:18:21:34 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:26:31:26:53 | <error expr> | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:8:12:8:21 | Got %d\n | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:8:24:8:24 | i | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:19:7:19:7 | 3 | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:21:7:21:7 | 4 | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:23:46:23:50 | 0 | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:24:42:24:45 | 1 | ArgumentNode is missing PostUpdateNode. |
| staticlocals.cpp:27:27:27:29 | two | ArgumentNode is missing PostUpdateNode. |
| staticlocals.cpp:28:27:28:27 | 2 | ArgumentNode is missing PostUpdateNode. |
| staticmembercallexpr_args.cpp:10:9:10:13 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| staticmembercallexpr_args.cpp:10:16:10:20 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| stmt_expr.cpp:13:18:13:18 | 1 | ArgumentNode is missing PostUpdateNode. |
| stmt_expr.cpp:30:20:30:20 | 3 | ArgumentNode is missing PostUpdateNode. |
| vla.c:5:27:5:33 | access to array | ArgumentNode is missing PostUpdateNode. |

310
cpp/ql/test/library-tests/syntax-zoo/dataflow-ir-consistency.expected
View File

@@ -767,6 +767,8 @@ uniqueNodeToString
| duff.c:3:14:3:14 | x | Node should have one toString but has 2. |
| duff.c:4:13:4:13 | i | Node should have one toString but has 2. |
| duff.c:4:13:4:13 | x | Node should have one toString but has 2. |
| ir.cpp:888:6:888:16 | (no string representation) | Node should have one toString but has 0. |
| misc.c:197:6:197:9 | (no string representation) | Node should have one toString but has 0. |
| newexpr.cpp:3:9:3:9 | i | Node should have one toString but has 2. |
| newexpr.cpp:3:9:3:9 | x | Node should have one toString but has 2. |
| newexpr.cpp:3:16:3:16 | j | Node should have one toString but has 2. |
@@ -784,6 +786,7 @@ uniqueNodeToString
| switchstmt.c:2:14:2:14 | i | Node should have one toString but has 2. |
| switchstmt.c:2:14:2:14 | x | Node should have one toString but has 2. |
missingToString
| Nodes without toString: 2 |
parameterCallable
localFlowIsLocal
compatibleTypesReflexive
@@ -796,310 +799,3 @@ postIsInSameCallable
reverseRead
storeIsPostUpdate
argHasPostUpdate
| CPP-309.cpp:7:5:7:20 | Constant | ArgumentNode is missing PostUpdateNode. |
| CPP-309.cpp:7:9:7:9 | 2 | ArgumentNode is missing PostUpdateNode. |
| CPP-309.cpp:7:12:7:12 | 3 | ArgumentNode is missing PostUpdateNode. |
| CPP-309.cpp:11:13:11:13 | 1 | ArgumentNode is missing PostUpdateNode. |
| VacuousDestructorCall.cpp:10:18:10:18 | i | ArgumentNode is missing PostUpdateNode. |
| VacuousDestructorCall.cpp:10:21:10:22 | & ... | ArgumentNode is missing PostUpdateNode. |
| abortingfunctions.cpp:45:13:45:13 | 0 | ArgumentNode is missing PostUpdateNode. |
| abortingfunctions.cpp:45:16:45:16 | 0 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:14:16:36 | Constant | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:14:16:36 | new | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:18:16:19 | 11 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:22:16:23 | 22 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:30:16:31 | 33 | ArgumentNode is missing PostUpdateNode. |
| allocators.cpp:16:34:16:35 | 44 | ArgumentNode is missing PostUpdateNode. |
| bad_asts.cpp:16:5:16:5 | s | ArgumentNode is missing PostUpdateNode. |
| bad_asts.cpp:16:25:16:25 | 1 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:8:32:8:32 | 0 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:8:35:8:37 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:8:40:8:40 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:10:20:10:26 | (bool)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:20:33:20:35 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:21:33:21:35 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:21:38:21:38 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:22:34:22:36 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:22:39:22:39 | y | ArgumentNode is missing PostUpdateNode. |
| builtin.c:28:31:28:38 | ... == ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:34:22:34:31 | (volatile void *)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:34:34:34:34 | x | ArgumentNode is missing PostUpdateNode. |
| builtin.c:39:25:39:27 | (unsigned int)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:39:30:39:30 | (unsigned int)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:39:33:39:33 | (unsigned int)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:39:36:39:45 | & ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:43:26:43:28 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:43:31:43:37 | (long)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:43:40:43:49 | & ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:45:33:45:41 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:47:24:47:30 | (const void *)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:47:33:47:35 | 101 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:47:38:47:38 | (unsigned long)... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:51:29:51:38 | & ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:51:41:51:43 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:51:46:51:46 | 0 | ArgumentNode is missing PostUpdateNode. |
| builtin.c:54:28:54:38 | & ... | ArgumentNode is missing PostUpdateNode. |
| builtin.c:54:41:54:41 | 0 | ArgumentNode is missing PostUpdateNode. |
| builtin.cpp:10:24:10:24 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| builtin.cpp:14:40:14:44 | (unsigned long)... | ArgumentNode is missing PostUpdateNode. |
| builtin.cpp:15:31:15:35 | * ... | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:3:13:3:22 | Constant | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:16:6:16:20 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:16:20:16:20 | x | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:26:10:26:24 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:26:24:26:24 | x | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:41:9:41:23 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:41:23:41:23 | x | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:16:48:19 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:23:48:24 | - ... | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:27:48:31 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:35:48:36 | - ... | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:39:48:53 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| condition_decls.cpp:48:53:48:53 | x | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:9:30:13 | (const C1)... | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:12:30:12 | 1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:18:30:22 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:30:21:30:21 | 2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:9:33:13 | (const C1)... | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:12:33:12 | 3 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:18:33:22 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:33:21:33:21 | 3 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:9:39:13 | (const C2)... | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:12:39:12 | 1 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:18:39:22 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:39:21:39:21 | 2 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:9:42:13 | (const C2)... | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:12:42:12 | 3 | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:18:42:22 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| conditional_destructors.cpp:42:21:42:21 | 3 | ArgumentNode is missing PostUpdateNode. |
| constructorinitializer.cpp:8:4:8:4 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| constructorinitializer.cpp:8:6:8:10 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| constructorinitializer.cpp:8:13:8:17 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:77:5:77:17 | (const lambda [] type at line 82, col. 17)... | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:77:19:77:21 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:77:19:77:21 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:11:82:14 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:11:82:14 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:17:82:55 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:17:82:55 | [...](...){...} | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:45:82:48 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:45:82:48 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:51:82:51 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:82:51:82:51 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:12:88:22 | doSomething | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:25:88:30 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:29:88:29 | 1 | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:33:88:38 | call to Val | ArgumentNode is missing PostUpdateNode. |
| cpp11.cpp:88:37:88:37 | 2 | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:5:15:45 | Constant | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:5:15:45 | new | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:19:15:21 | ptr | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:38:15:41 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:15:38:15:41 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:19:10:19:10 | p | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:19:13:19:13 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| cpp17.cpp:19:16:19:16 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| defconstructornewexpr.cpp:4:2:4:6 | Constant | ArgumentNode is missing PostUpdateNode. |
| defdestructordeleteexpr.cpp:4:9:4:15 | Constant | ArgumentNode is missing PostUpdateNode. |
| deleteexpr.cpp:7:9:7:15 | Constant | ArgumentNode is missing PostUpdateNode. |
| destructors.cpp:50:9:50:13 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| destructors.cpp:52:14:52:16 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | & ... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | & ... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | & ... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (Base *)... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (Middle *)... | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (__begin) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (__begin) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference dereference) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| file://:0:0:0:0 | this | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:377:16:377:16 | x | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:377:19:377:19 | y | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:381:32:381:32 | x | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:381:35:381:35 | y | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:552:16:552:16 | 5 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:585:20:585:26 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:585:29:585:29 | 1 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:585:32:585:39 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:616:12:616:13 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:617:12:617:13 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:617:15:617:21 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:619:12:619:13 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:619:24:619:29 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:623:5:623:5 | (const String)... | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:624:5:624:5 | (const String *)... | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:625:5:625:5 | (const String)... | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:653:9:653:12 | this | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:653:38:653:38 | 0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:654:10:654:14 | * ... | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:654:40:654:40 | 1 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:655:32:655:32 | 2 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:662:9:662:19 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:662:13:662:18 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:663:5:663:5 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:700:7:700:7 | 5 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:709:14:709:14 | x | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:709:17:709:17 | y | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:721:41:721:47 | (void *)... | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:721:50:721:52 | 111 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:736:5:736:19 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:736:18:736:18 | s | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:745:8:745:8 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:748:10:748:10 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:751:3:751:3 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:757:12:757:12 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:757:12:757:12 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:760:3:760:3 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:760:3:760:3 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:766:13:766:13 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:766:13:766:13 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:769:3:769:3 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:769:3:769:3 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:775:15:775:15 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:775:15:775:15 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:778:3:778:3 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:778:3:778:3 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:784:15:784:15 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:784:15:784:15 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:787:3:787:3 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:787:3:787:3 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:793:15:793:15 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:793:15:793:15 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:793:15:793:15 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:793:15:793:15 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:796:3:796:3 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:796:3:796:3 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:796:3:796:3 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:796:3:796:3 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:800:8:800:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:801:10:801:10 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:802:11:802:11 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:808:3:808:3 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:808:7:808:7 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:809:3:809:3 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:809:7:809:13 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:809:13:809:13 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:810:3:810:3 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:810:7:810:26 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:810:25:810:25 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:816:3:816:3 | m | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:816:7:816:16 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:817:3:817:3 | m | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:817:7:817:29 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:822:3:822:3 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:822:7:822:7 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:823:3:823:3 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:823:7:823:13 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:823:13:823:13 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:824:3:824:3 | b | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:824:7:824:26 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:824:25:824:25 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:830:3:830:3 | d | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:830:7:830:17 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:831:3:831:3 | d | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:831:7:831:30 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:846:8:846:8 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:846:8:846:8 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:850:19:850:19 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:851:22:851:22 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:867:1:867:14 | this | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:868:10:868:11 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:941:3:941:9 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:942:3:942:15 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:942:7:942:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:943:3:943:11 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:944:3:944:14 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:944:3:944:14 | new | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:945:3:945:27 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:945:3:945:27 | new | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:945:7:945:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:945:20:945:26 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:946:3:946:17 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:946:18:946:18 | 128 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:947:3:947:25 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:947:7:947:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:947:25:947:25 | 128 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:951:3:951:13 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:952:3:952:12 | Mul | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:953:3:953:18 | Mul | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:953:7:953:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:954:3:954:15 | Mul | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:955:3:955:20 | Mul | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:955:21:955:21 | 128 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:956:3:956:27 | Constant | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:956:7:956:10 | 1.0 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:956:28:956:28 | 128 | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:957:3:957:36 | Mul | ArgumentNode is missing PostUpdateNode. |
| ir.cpp:958:3:958:24 | Mul | ArgumentNode is missing PostUpdateNode. |
| membercallexpr.cpp:8:2:8:2 | c | ArgumentNode is missing PostUpdateNode. |
| membercallexpr_args.cpp:10:5:10:5 | d | ArgumentNode is missing PostUpdateNode. |
| membercallexpr_args.cpp:10:10:10:14 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| membercallexpr_args.cpp:10:17:10:21 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| misc.c:147:16:147:16 | i | ArgumentNode is missing PostUpdateNode. |
| misc.c:147:19:147:19 | j | ArgumentNode is missing PostUpdateNode. |
| misc.c:228:31:228:40 | global_int | ArgumentNode is missing PostUpdateNode. |
| misc.c:229:32:229:41 | global_int | ArgumentNode is missing PostUpdateNode. |
| misc.c:230:27:230:36 | global_int | ArgumentNode is missing PostUpdateNode. |
| misc.c:231:29:231:38 | global_int | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:13:21:13:35 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:14:21:14:21 | (const char *)... | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:28:18:28:23 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:28:26:28:28 | 256 | ArgumentNode is missing PostUpdateNode. |
| ms_assume.cpp:28:31:28:31 | s | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:11:7:11:10 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:11:12:11:14 | 101 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:28:7:28:10 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:28:12:28:14 | 101 | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:48:5:48:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| ms_try_mix.cpp:48:10:48:12 | 201 | ArgumentNode is missing PostUpdateNode. |
| newexpr.cpp:8:2:8:20 | Constant | ArgumentNode is missing PostUpdateNode. |
| newexpr.cpp:8:2:8:20 | new | ArgumentNode is missing PostUpdateNode. |
| newexpr.cpp:8:8:8:12 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| newexpr.cpp:8:15:8:19 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| no_dynamic_init.cpp:5:12:5:35 | array to pointer conversion | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:19:15:19:22 | Constant | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:20:18:20:30 | Constant | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:21:18:21:34 | Mul | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:26:31:26:53 | Constant | ArgumentNode is missing PostUpdateNode. |
| ops.cpp:26:31:26:53 | new | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:8:12:8:21 | (char *)... | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:8:24:8:24 | i | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:19:7:19:7 | 3 | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:21:7:21:7 | 4 | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:25:5:25:8 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| parameterinitializer.cpp:27:3:27:6 | my_c | ArgumentNode is missing PostUpdateNode. |
| pmcallexpr.cpp:8:11:8:11 | g | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:23:6:23:8 | obj | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:23:21:23:44 | call to getFunctionMemberPointer | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:23:46:23:50 | 0 | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:24:17:24:40 | call to getFunctionMemberPointer | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:24:42:24:45 | 1 | ArgumentNode is missing PostUpdateNode. |
| pointer_to_member.cpp:27:12:27:14 | obj | ArgumentNode is missing PostUpdateNode. |
| static_init_templates.cpp:20:12:20:12 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| static_init_templates.cpp:31:10:31:11 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| static_init_templates.cpp:236:7:236:7 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| static_init_templates.cpp:240:7:240:7 | FieldAddress | ArgumentNode is missing PostUpdateNode. |
| static_init_templates.cpp:249:21:249:23 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| static_init_templates.cpp:250:17:250:19 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| static_init_templates.cpp:251:20:251:23 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| staticlocals.cpp:29:14:29:14 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| staticmembercallexpr.cpp:8:2:8:2 | c | ArgumentNode is missing PostUpdateNode. |
| staticmembercallexpr_args.cpp:10:4:10:4 | d | ArgumentNode is missing PostUpdateNode. |
| staticmembercallexpr_args.cpp:10:9:10:13 | ... + ... | ArgumentNode is missing PostUpdateNode. |
| staticmembercallexpr_args.cpp:10:16:10:20 | ... - ... | ArgumentNode is missing PostUpdateNode. |
| stmt_expr.cpp:13:16:13:16 | VariableAddress | ArgumentNode is missing PostUpdateNode. |
| stmt_expr.cpp:13:18:13:18 | 1 | ArgumentNode is missing PostUpdateNode. |
| stream_it.cpp:19:13:19:14 | (reference to) | ArgumentNode is missing PostUpdateNode. |
| try_catch.cpp:7:8:7:8 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| try_catch.cpp:7:8:7:8 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| try_catch.cpp:7:8:7:8 | ConvertToNonVirtualBase | ArgumentNode is missing PostUpdateNode. |
| try_catch.cpp:13:5:13:16 | VariableAddress | ArgumentNode is missing PostUpdateNode. |