Skip to content

Commit cda629b

Browse files
committed
C++: Accept test changes. Notice the consistency failure.
1 parent de3b111 commit cda629b

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,8 @@ postWithInFlow
3232
| test.cpp:1077:10:1077:11 | swap output argument | PostUpdateNode should not be the target of local flow. |
3333
viableImplInCallContextTooLarge
3434
uniqueParameterNodeAtPosition
35+
| ../../../include/iterator.h:22:3:22:10 | iterator | *0 | ../../../include/iterator.h:22:3:22:10 | [summary param] *0 in iterator | Parameters with overlapping positions. |
36+
| ../../../include/iterator.h:22:3:22:10 | iterator | *0 | ../../../include/iterator.h:22:67:22:71 | *other | Parameters with overlapping positions. |
3537
uniqueParameterNodePosition
3638
uniqueContentApprox
3739
identityLocalStep

cpp/ql/test/library-tests/dataflow/models-as-data/tests.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -205,7 +205,7 @@ void test_summaries() {
205205

206206
sink(madAndImplementedComplex(0, 0, 0));
207207
sink(madAndImplementedComplex(source(), 0, 0));
208-
sink(madAndImplementedComplex(0, source(), 0)); // $ ir
208+
sink(madAndImplementedComplex(0, source(), 0)); // Clean. We have a MaD model specifying different behavior.
209209
sink(madAndImplementedComplex(0, 0, source())); // $ ir
210210

211211
sink(madArgsAny(0, 0));

0 commit comments

Comments
 (0)