Skip to content

Commit

Permalink
C++: Fit the function pointer tests better with what is and isn't wor…
Browse files Browse the repository at this point in the history
…king.
  • Loading branch information
geoffw0 committed Apr 9, 2024
1 parent e9cd2dc commit 1264e6e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions cpp/ql/test/library-tests/dataflow/models-as-data/tests.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -444,9 +444,9 @@ void test_function_pointers() {
sink(madCallArg0ReturnToReturn(&notASource));
sink(madCallArg0ReturnToReturn(&getTainted)); // $ ir
sink(madCallArg0ReturnToReturn(&source)); // $ MISSING: ir
sink(madCallArg0ReturnToReturnFirst(&source).first); // $ MISSING: ir
sink(madCallArg0ReturnToReturnFirst(&source).second);
madCallArg0WithValue(&useValue, 0);
sink(madCallArg0ReturnToReturnFirst(&getTainted).first); // $ ir
sink(madCallArg0ReturnToReturnFirst(&getTainted).second);

madCallArg0WithValue(&useValue, source());
madCallArg0WithValue(&sink, source()); // $ MISSING: ir
madCallReturnValueIgnoreFunction(&sink, source());
Expand Down

0 comments on commit 1264e6e

Please sign in to comment.