Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 7658df9

Browse files
MathiasVPMathiasVP
authored
Merge pull request #11355 from MathiasVP/fewer-read-steps
C++: Reduce `readStep` fan-in
2 parents 24542ec + d1274e2 commit 7658df9

5 files changed

Lines changed: 3 additions & 359 deletions

File tree

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -506,7 +506,9 @@ predicate nodeHasInstruction(Node node, Instruction instr, int indirectionIndex)
506506
predicate readStep(Node node1, Content c, Node node2) {
507507
exists(FieldAddress fa1, Operand operand, int numberOfLoads, int indirectionIndex2 |
508508
nodeHasOperand(node2, operand, indirectionIndex2) and
509-
nodeHasOperand(node1, fa1.getObjectAddressOperand(), _) and
509+
// The `1` here matches the `node2.getIndirectionIndex() = 1` conjunct
510+
// in `storeStep`.
511+
nodeHasOperand(node1, fa1.getObjectAddressOperand(), 1) and
510512
numberOfLoadsFromOperand(fa1, operand, numberOfLoads)
511513
|
512514
exists(FieldContent fc | fc = c |

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -35,10 +35,6 @@ postHasUniquePre
3535
uniquePostUpdate
3636
postIsInSameCallable
3737
reverseRead
38-
| dispatch.cpp:168:3:168:4 | Unary | Origin of readStep is missing a PostUpdateNode. |
39-
| dispatch.cpp:173:37:173:38 | Unary | Origin of readStep is missing a PostUpdateNode. |
40-
| dispatch.cpp:174:37:174:38 | Unary | Origin of readStep is missing a PostUpdateNode. |
41-
| test.cpp:481:21:481:21 | s | Origin of readStep is missing a PostUpdateNode. |
4238
argHasPostUpdate
4339
postWithInFlow
4440
| test.cpp:384:10:384:13 | memcpy output argument | PostUpdateNode should not be the target of local flow. |

‎cpp/ql/test/library-tests/dataflow/fields/dataflow-ir-consistency.expected‎

Lines changed: 0 additions & 209 deletions
Original file line numberDiff line numberDiff line change
@@ -39,215 +39,6 @@ uniquePostUpdate
3939
| struct_init.c:41:16:41:20 | VariableAddress indirection | Node has multiple PostUpdateNodes. |
4040
postIsInSameCallable
4141
reverseRead
42-
| A.cpp:49:10:49:10 | b | Origin of readStep is missing a PostUpdateNode. |
43-
| A.cpp:65:10:65:11 | b1 | Origin of readStep is missing a PostUpdateNode. |
44-
| A.cpp:66:10:66:11 | b2 | Origin of readStep is missing a PostUpdateNode. |
45-
| A.cpp:74:10:74:11 | b1 | Origin of readStep is missing a PostUpdateNode. |
46-
| A.cpp:75:10:75:11 | b2 | Origin of readStep is missing a PostUpdateNode. |
47-
| A.cpp:107:12:107:13 | c1 | Origin of readStep is missing a PostUpdateNode. |
48-
| A.cpp:120:12:120:13 | c1 | Origin of readStep is missing a PostUpdateNode. |
49-
| A.cpp:132:10:132:10 | b | Origin of readStep is missing a PostUpdateNode. |
50-
| A.cpp:152:10:152:10 | d | Origin of readStep is missing a PostUpdateNode. |
51-
| A.cpp:153:10:153:10 | d | Origin of readStep is missing a PostUpdateNode. |
52-
| A.cpp:153:13:153:13 | Unary | Origin of readStep is missing a PostUpdateNode. |
53-
| A.cpp:154:10:154:10 | b | Origin of readStep is missing a PostUpdateNode. |
54-
| A.cpp:163:10:163:11 | l3 | Origin of readStep is missing a PostUpdateNode. |
55-
| A.cpp:164:10:164:11 | l3 | Origin of readStep is missing a PostUpdateNode. |
56-
| A.cpp:164:14:164:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
57-
| A.cpp:165:10:165:11 | l3 | Origin of readStep is missing a PostUpdateNode. |
58-
| A.cpp:165:14:165:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
59-
| A.cpp:165:20:165:23 | Unary | Origin of readStep is missing a PostUpdateNode. |
60-
| A.cpp:166:10:166:11 | l3 | Origin of readStep is missing a PostUpdateNode. |
61-
| A.cpp:166:14:166:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
62-
| A.cpp:166:20:166:23 | Unary | Origin of readStep is missing a PostUpdateNode. |
63-
| A.cpp:166:26:166:29 | Unary | Origin of readStep is missing a PostUpdateNode. |
64-
| A.cpp:169:12:169:12 | l | Origin of readStep is missing a PostUpdateNode. |
65-
| B.cpp:9:10:9:11 | b2 | Origin of readStep is missing a PostUpdateNode. |
66-
| B.cpp:9:14:9:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
67-
| B.cpp:10:10:10:11 | b2 | Origin of readStep is missing a PostUpdateNode. |
68-
| B.cpp:10:14:10:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
69-
| B.cpp:18:10:18:11 | b2 | Origin of readStep is missing a PostUpdateNode. |
70-
| B.cpp:18:14:18:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
71-
| B.cpp:19:10:19:11 | b2 | Origin of readStep is missing a PostUpdateNode. |
72-
| B.cpp:19:14:19:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
73-
| C.cpp:29:10:29:11 | this | Origin of readStep is missing a PostUpdateNode. |
74-
| C.cpp:31:10:31:11 | this | Origin of readStep is missing a PostUpdateNode. |
75-
| D.cpp:30:5:30:5 | b | Origin of readStep is missing a PostUpdateNode. |
76-
| D.cpp:37:5:37:5 | b | Origin of readStep is missing a PostUpdateNode. |
77-
| D.cpp:58:5:58:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
78-
| D.cpp:58:5:58:12 | this | Origin of readStep is missing a PostUpdateNode. |
79-
| D.cpp:64:10:64:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
80-
| D.cpp:64:10:64:17 | this | Origin of readStep is missing a PostUpdateNode. |
81-
| D.cpp:64:20:64:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
82-
| E.cpp:21:10:21:10 | p | Origin of readStep is missing a PostUpdateNode. |
83-
| E.cpp:21:13:21:16 | Unary | Origin of readStep is missing a PostUpdateNode. |
84-
| E.cpp:29:21:29:21 | b | Origin of readStep is missing a PostUpdateNode. |
85-
| E.cpp:30:21:30:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
86-
| E.cpp:30:23:30:26 | Unary | Origin of readStep is missing a PostUpdateNode. |
87-
| E.cpp:32:10:32:10 | b | Origin of readStep is missing a PostUpdateNode. |
88-
| aliasing.cpp:70:11:70:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
89-
| aliasing.cpp:73:8:73:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
90-
| aliasing.cpp:77:11:77:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
91-
| aliasing.cpp:80:8:80:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
92-
| aliasing.cpp:84:11:84:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
93-
| aliasing.cpp:87:8:87:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
94-
| aliasing.cpp:91:11:91:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
95-
| aliasing.cpp:92:3:92:3 | Unary | Origin of readStep is missing a PostUpdateNode. |
96-
| aliasing.cpp:93:8:93:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
97-
| aliasing.cpp:111:16:111:16 | Unary | Origin of readStep is missing a PostUpdateNode. |
98-
| aliasing.cpp:141:15:141:15 | Unary | Origin of readStep is missing a PostUpdateNode. |
99-
| aliasing.cpp:147:16:147:19 | Unary | Origin of readStep is missing a PostUpdateNode. |
100-
| aliasing.cpp:158:15:158:15 | Unary | Origin of readStep is missing a PostUpdateNode. |
101-
| aliasing.cpp:164:15:164:15 | Unary | Origin of readStep is missing a PostUpdateNode. |
102-
| aliasing.cpp:175:16:175:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
103-
| aliasing.cpp:175:19:175:19 | Unary | Origin of readStep is missing a PostUpdateNode. |
104-
| aliasing.cpp:176:8:176:9 | Unary | Origin of readStep is missing a PostUpdateNode. |
105-
| aliasing.cpp:181:16:181:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
106-
| aliasing.cpp:181:19:181:19 | Unary | Origin of readStep is missing a PostUpdateNode. |
107-
| aliasing.cpp:182:8:182:9 | Unary | Origin of readStep is missing a PostUpdateNode. |
108-
| aliasing.cpp:187:16:187:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
109-
| aliasing.cpp:187:19:187:19 | Unary | Origin of readStep is missing a PostUpdateNode. |
110-
| aliasing.cpp:189:8:189:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
111-
| aliasing.cpp:194:16:194:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
112-
| aliasing.cpp:194:19:194:19 | Unary | Origin of readStep is missing a PostUpdateNode. |
113-
| aliasing.cpp:196:8:196:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
114-
| aliasing.cpp:200:16:200:18 | ps2 | Origin of readStep is missing a PostUpdateNode. |
115-
| aliasing.cpp:200:21:200:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
116-
| aliasing.cpp:201:8:201:10 | ps2 | Origin of readStep is missing a PostUpdateNode. |
117-
| aliasing.cpp:205:16:205:18 | ps2 | Origin of readStep is missing a PostUpdateNode. |
118-
| aliasing.cpp:205:21:205:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
119-
| aliasing.cpp:206:8:206:10 | ps2 | Origin of readStep is missing a PostUpdateNode. |
120-
| arrays.cpp:36:3:36:3 | Unary | Origin of readStep is missing a PostUpdateNode. |
121-
| arrays.cpp:36:5:36:10 | Unary | Origin of readStep is missing a PostUpdateNode. |
122-
| arrays.cpp:37:8:37:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
123-
| arrays.cpp:37:8:37:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
124-
| arrays.cpp:37:10:37:15 | Unary | Origin of readStep is missing a PostUpdateNode. |
125-
| arrays.cpp:38:8:38:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
126-
| arrays.cpp:38:8:38:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
127-
| arrays.cpp:38:10:38:15 | Unary | Origin of readStep is missing a PostUpdateNode. |
128-
| arrays.cpp:42:3:42:3 | Unary | Origin of readStep is missing a PostUpdateNode. |
129-
| arrays.cpp:42:5:42:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
130-
| arrays.cpp:43:8:43:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
131-
| arrays.cpp:43:8:43:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
132-
| arrays.cpp:43:10:43:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
133-
| arrays.cpp:44:8:44:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
134-
| arrays.cpp:44:8:44:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
135-
| arrays.cpp:44:10:44:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
136-
| arrays.cpp:48:3:48:3 | Unary | Origin of readStep is missing a PostUpdateNode. |
137-
| arrays.cpp:48:5:48:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
138-
| arrays.cpp:49:8:49:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
139-
| arrays.cpp:49:8:49:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
140-
| arrays.cpp:49:10:49:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
141-
| arrays.cpp:50:8:50:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
142-
| arrays.cpp:50:8:50:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
143-
| arrays.cpp:50:10:50:17 | Unary | Origin of readStep is missing a PostUpdateNode. |
144-
| by_reference.cpp:102:22:102:26 | Unary | Origin of readStep is missing a PostUpdateNode. |
145-
| by_reference.cpp:103:21:103:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
146-
| by_reference.cpp:104:16:104:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
147-
| by_reference.cpp:106:22:106:27 | pouter | Origin of readStep is missing a PostUpdateNode. |
148-
| by_reference.cpp:107:21:107:26 | pouter | Origin of readStep is missing a PostUpdateNode. |
149-
| by_reference.cpp:108:16:108:21 | pouter | Origin of readStep is missing a PostUpdateNode. |
150-
| by_reference.cpp:110:8:110:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
151-
| by_reference.cpp:110:14:110:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
152-
| by_reference.cpp:111:8:111:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
153-
| by_reference.cpp:111:14:111:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
154-
| by_reference.cpp:112:8:112:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
155-
| by_reference.cpp:114:8:114:13 | pouter | Origin of readStep is missing a PostUpdateNode. |
156-
| by_reference.cpp:114:16:114:27 | Unary | Origin of readStep is missing a PostUpdateNode. |
157-
| by_reference.cpp:115:8:115:13 | pouter | Origin of readStep is missing a PostUpdateNode. |
158-
| by_reference.cpp:115:16:115:24 | Unary | Origin of readStep is missing a PostUpdateNode. |
159-
| by_reference.cpp:116:8:116:13 | pouter | Origin of readStep is missing a PostUpdateNode. |
160-
| by_reference.cpp:122:21:122:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
161-
| by_reference.cpp:123:22:123:26 | Unary | Origin of readStep is missing a PostUpdateNode. |
162-
| by_reference.cpp:124:15:124:19 | Unary | Origin of readStep is missing a PostUpdateNode. |
163-
| by_reference.cpp:126:21:126:26 | pouter | Origin of readStep is missing a PostUpdateNode. |
164-
| by_reference.cpp:127:22:127:27 | pouter | Origin of readStep is missing a PostUpdateNode. |
165-
| by_reference.cpp:128:15:128:20 | pouter | Origin of readStep is missing a PostUpdateNode. |
166-
| by_reference.cpp:130:8:130:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
167-
| by_reference.cpp:130:14:130:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
168-
| by_reference.cpp:131:8:131:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
169-
| by_reference.cpp:131:14:131:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
170-
| by_reference.cpp:132:8:132:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
171-
| by_reference.cpp:134:8:134:13 | pouter | Origin of readStep is missing a PostUpdateNode. |
172-
| by_reference.cpp:134:16:134:27 | Unary | Origin of readStep is missing a PostUpdateNode. |
173-
| by_reference.cpp:135:8:135:13 | pouter | Origin of readStep is missing a PostUpdateNode. |
174-
| by_reference.cpp:135:16:135:24 | Unary | Origin of readStep is missing a PostUpdateNode. |
175-
| by_reference.cpp:136:8:136:13 | pouter | Origin of readStep is missing a PostUpdateNode. |
176-
| complex.cpp:22:3:22:5 | Unary | Origin of readStep is missing a PostUpdateNode. |
177-
| complex.cpp:25:7:25:7 | Unary | Origin of readStep is missing a PostUpdateNode. |
178-
| complex.cpp:42:8:42:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
179-
| complex.cpp:42:10:42:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
180-
| complex.cpp:43:8:43:8 | Unary | Origin of readStep is missing a PostUpdateNode. |
181-
| complex.cpp:43:10:43:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
182-
| complex.cpp:53:3:53:4 | Unary | Origin of readStep is missing a PostUpdateNode. |
183-
| complex.cpp:53:6:53:10 | Unary | Origin of readStep is missing a PostUpdateNode. |
184-
| complex.cpp:54:3:54:4 | Unary | Origin of readStep is missing a PostUpdateNode. |
185-
| complex.cpp:54:6:54:10 | Unary | Origin of readStep is missing a PostUpdateNode. |
186-
| complex.cpp:55:3:55:4 | Unary | Origin of readStep is missing a PostUpdateNode. |
187-
| complex.cpp:55:6:55:10 | Unary | Origin of readStep is missing a PostUpdateNode. |
188-
| complex.cpp:56:3:56:4 | Unary | Origin of readStep is missing a PostUpdateNode. |
189-
| complex.cpp:56:6:56:10 | Unary | Origin of readStep is missing a PostUpdateNode. |
190-
| conflated.cpp:54:3:54:4 | ll | Origin of readStep is missing a PostUpdateNode. |
191-
| conflated.cpp:55:8:55:9 | ll | Origin of readStep is missing a PostUpdateNode. |
192-
| conflated.cpp:60:3:60:4 | ll | Origin of readStep is missing a PostUpdateNode. |
193-
| conflated.cpp:61:8:61:9 | ll | Origin of readStep is missing a PostUpdateNode. |
194-
| qualifiers.cpp:23:10:23:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
195-
| qualifiers.cpp:23:16:23:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
196-
| qualifiers.cpp:28:10:28:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
197-
| qualifiers.cpp:28:16:28:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
198-
| qualifiers.cpp:33:10:33:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
199-
| qualifiers.cpp:33:16:33:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
200-
| qualifiers.cpp:38:10:38:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
201-
| qualifiers.cpp:38:16:38:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
202-
| qualifiers.cpp:43:10:43:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
203-
| qualifiers.cpp:43:16:43:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
204-
| qualifiers.cpp:48:10:48:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
205-
| qualifiers.cpp:48:16:48:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
206-
| realistic.cpp:49:9:49:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
207-
| realistic.cpp:53:9:53:11 | Unary | Origin of readStep is missing a PostUpdateNode. |
208-
| realistic.cpp:53:9:53:18 | Unary | Origin of readStep is missing a PostUpdateNode. |
209-
| realistic.cpp:53:20:53:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
210-
| realistic.cpp:54:16:54:18 | Unary | Origin of readStep is missing a PostUpdateNode. |
211-
| realistic.cpp:54:16:54:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
212-
| realistic.cpp:54:27:54:29 | Unary | Origin of readStep is missing a PostUpdateNode. |
213-
| realistic.cpp:54:32:54:40 | Unary | Origin of readStep is missing a PostUpdateNode. |
214-
| realistic.cpp:55:12:55:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
215-
| realistic.cpp:55:12:55:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
216-
| realistic.cpp:55:23:55:25 | Unary | Origin of readStep is missing a PostUpdateNode. |
217-
| realistic.cpp:57:88:57:90 | Unary | Origin of readStep is missing a PostUpdateNode. |
218-
| realistic.cpp:57:88:57:97 | Unary | Origin of readStep is missing a PostUpdateNode. |
219-
| realistic.cpp:57:99:57:101 | Unary | Origin of readStep is missing a PostUpdateNode. |
220-
| realistic.cpp:60:21:60:23 | Unary | Origin of readStep is missing a PostUpdateNode. |
221-
| realistic.cpp:60:21:60:30 | Unary | Origin of readStep is missing a PostUpdateNode. |
222-
| realistic.cpp:60:32:60:34 | Unary | Origin of readStep is missing a PostUpdateNode. |
223-
| realistic.cpp:60:55:60:57 | Unary | Origin of readStep is missing a PostUpdateNode. |
224-
| realistic.cpp:60:55:60:64 | Unary | Origin of readStep is missing a PostUpdateNode. |
225-
| realistic.cpp:60:66:60:68 | Unary | Origin of readStep is missing a PostUpdateNode. |
226-
| realistic.cpp:61:21:61:23 | Unary | Origin of readStep is missing a PostUpdateNode. |
227-
| realistic.cpp:61:21:61:30 | Unary | Origin of readStep is missing a PostUpdateNode. |
228-
| realistic.cpp:61:32:61:34 | Unary | Origin of readStep is missing a PostUpdateNode. |
229-
| realistic.cpp:65:21:65:23 | Unary | Origin of readStep is missing a PostUpdateNode. |
230-
| realistic.cpp:65:21:65:30 | Unary | Origin of readStep is missing a PostUpdateNode. |
231-
| realistic.cpp:65:32:65:34 | Unary | Origin of readStep is missing a PostUpdateNode. |
232-
| realistic.cpp:65:37:65:45 | Unary | Origin of readStep is missing a PostUpdateNode. |
233-
| simple.cpp:79:16:79:17 | this | Origin of readStep is missing a PostUpdateNode. |
234-
| simple.cpp:83:9:83:10 | this | Origin of readStep is missing a PostUpdateNode. |
235-
| struct_init.c:15:8:15:9 | ab | Origin of readStep is missing a PostUpdateNode. |
236-
| struct_init.c:16:8:16:9 | ab | Origin of readStep is missing a PostUpdateNode. |
237-
| struct_init.c:22:8:22:9 | Unary | Origin of readStep is missing a PostUpdateNode. |
238-
| struct_init.c:23:8:23:9 | Unary | Origin of readStep is missing a PostUpdateNode. |
239-
| struct_init.c:26:16:26:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
240-
| struct_init.c:31:8:31:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
241-
| struct_init.c:31:14:31:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
242-
| struct_init.c:32:8:32:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
243-
| struct_init.c:32:14:32:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
244-
| struct_init.c:33:8:33:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
245-
| struct_init.c:33:14:33:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
246-
| struct_init.c:34:8:34:12 | Unary | Origin of readStep is missing a PostUpdateNode. |
247-
| struct_init.c:34:14:34:22 | Unary | Origin of readStep is missing a PostUpdateNode. |
248-
| struct_init.c:36:11:36:15 | Unary | Origin of readStep is missing a PostUpdateNode. |
249-
| struct_init.c:41:16:41:20 | Unary | Origin of readStep is missing a PostUpdateNode. |
250-
| struct_init.c:46:10:46:14 | Unary | Origin of readStep is missing a PostUpdateNode. |
25142
argHasPostUpdate
25243
postWithInFlow
25344
| realistic.cpp:54:16:54:47 | memcpy output argument | PostUpdateNode should not be the target of local flow. |

0 commit comments

Comments
 (0)