File tree Expand file tree Collapse file tree 4 files changed +203
-3
lines changed
cpp/ql/test/library-tests/dataflow Expand file tree Collapse file tree 4 files changed +203
-3
lines changed Original file line number Diff line number Diff line change 7474| tests.cpp:436:6:436:25 | [summary] to write: Argument[1] in madCallArg0WithValue | PostUpdateNode | madCallArg0WithValue | madCallArg0WithValue |
7575| tests.cpp:437:5:437:36 | [summary param] 1 in madCallReturnValueIgnoreFunction | ParameterNode | madCallReturnValueIgnoreFunction | madCallReturnValueIgnoreFunction |
7676| tests.cpp:437:5:437:36 | [summary] to write: ReturnValue in madCallReturnValueIgnoreFunction | ReturnNode | madCallReturnValueIgnoreFunction | madCallReturnValueIgnoreFunction |
77+ | tests.cpp:459:5:459:31 | [summary param] *0 in parameter_ref_to_return_ref | ParameterNode | parameter_ref_to_return_ref | parameter_ref_to_return_ref |
78+ | tests.cpp:459:5:459:31 | [summary] to write: ReturnValue[*] in parameter_ref_to_return_ref | ReturnNode | parameter_ref_to_return_ref | parameter_ref_to_return_ref |
Original file line number Diff line number Diff line change @@ -29,6 +29,7 @@ summarizedCallables
2929| tests.cpp:435:9:435:38 | madCallArg0ReturnToReturnFirst |
3030| tests.cpp:436:6:436:25 | madCallArg0WithValue |
3131| tests.cpp:437:5:437:36 | madCallReturnValueIgnoreFunction |
32+ | tests.cpp:459:5:459:31 | parameter_ref_to_return_ref |
3233sourceCallables
3334| tests.cpp:3:5:3:10 | source |
3435| tests.cpp:4:6:4:14 | sourcePtr |
@@ -223,7 +224,6 @@ sourceCallables
223224| tests.cpp:457:8:457:35 | StructWithTypedefInParameter<int> |
224225| tests.cpp:458:12:458:15 | Type |
225226| tests.cpp:459:5:459:31 | parameter_ref_to_return_ref |
226- | tests.cpp:459:5:459:31 | parameter_ref_to_return_ref |
227227| tests.cpp:459:45:459:45 | x |
228228| tests.cpp:459:45:459:45 | x |
229229| tests.cpp:462:6:462:37 | test_parameter_ref_to_return_ref |
Original file line number Diff line number Diff line change @@ -456,12 +456,12 @@ void test_function_pointers() {
456456template <typename X>
457457struct StructWithTypedefInParameter {
458458 typedef X Type;
459- X& parameter_ref_to_return_ref (const Type& x); // $ MISSING: interpretElement
459+ X& parameter_ref_to_return_ref (const Type& x); // $ interpretElement
460460};
461461
462462void test_parameter_ref_to_return_ref () {
463463 int x = source ();
464464 StructWithTypedefInParameter<int > s;
465465 int y = s.parameter_ref_to_return_ref (x);
466- sink (y); // $ MISSING: ir
466+ sink (y); // $ ir
467467}
You can’t perform that action at this time.
0 commit comments