hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 05:05:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix some off-by-one mistakes in the test.

Browse Source
This commit is contained in:
Geoffrey White
2024-01-18 17:38:32 +00:00
parent 42571069bf
commit 963e0a730d
2 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -49,8 +49,8 @@ void remoteMadSourceParam0(int x)
void madSinkArg0(int x);
void notASink(int x);
void madSinkArg1(int x, int y);
void madSinkArg12(int x, int y, int z);
void madSinkArg13(int x, int y, int z);
void madSinkArg01(int x, int y, int z);
void madSinkArg02(int x, int y, int z);
void madSinkIndirectArg0(int *x);
int madSinkVar;
@@ -61,12 +61,12 @@ void test_sinks() {
notASink(source());
madSinkArg1(source(), 0);
madSinkArg1(0, source()); // $ MISSING: ir
madSinkArg12(source(), 0, 0); // $ MISSING: ir
madSinkArg12(0, source(), 0); // $ MISSING: ir
madSinkArg12(0, 0, source());
madSinkArg13(source(), 0, 0); // $ MISSING: ir
madSinkArg13(0, source(), 0);
madSinkArg13(0, 0, source()); // $ MISSING: ir
madSinkArg01(source(), 0, 0); // $ MISSING: ir
madSinkArg01(0, source(), 0); // $ MISSING: ir
madSinkArg01(0, 0, source());
madSinkArg02(source(), 0, 0); // $ MISSING: ir
madSinkArg02(0, source(), 0);
madSinkArg02(0, 0, source()); // $ MISSING: ir
int a = source();
madSinkIndirectArg0(&a); // $ MISSING: ir