hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-12-14 12:19:34 +00:00
parent f94ca0e087
commit cb47bdd9fd
1 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
cpp/ql/test/library-tests/dataflow/taint-tests/vector.cpp
View File

@@ -339,12 +339,12 @@ void test_vector_output_iterator(int b) {
std::vector<int>::iterator i1 = v1.begin();
*i1 = source();
sink(v1); // $ ast MISSING: ir
sink(v1); // $ ast,ir
for(std::vector<int>::iterator it = v2.begin(); it != v2.end(); ++it) {
*it = source();
}
sink(v2); // $ ast MISSING: ir
sink(v2); // $ ast,ir
for(int& x : v3) {
x = source();
@@ -358,29 +358,29 @@ void test_vector_output_iterator(int b) {
std::vector<int>::iterator i5 = v5.begin();
*i5 = source();
sink(v5); // $ ast MISSING: ir
sink(v5); // $ ast,ir
*i5 = 1;
sink(v5); // $ ast MISSING: ir
std::vector<int>::iterator i6 = v6.begin();
*i6 = source();
sink(v6); // $ ast MISSING: ir
sink(v6); // $ ast,ir
v6 = std::vector<int>(10);
sink(v6); // $ SPURIOUS: ast
sink(v6); // $ SPURIOUS: ast,ir
std::vector<int>::iterator i7 = v7.begin();
if(b) {
*i7 = source();
sink(v7); // $ ast MISSING: ir
sink(v7); // $ ast,ir
} else {
*i7 = 1;
sink(v7);
}
sink(v7); // $ ast MISSING: ir
sink(v7); // $ ast,ir
std::vector<int>::iterator i8 = v8.begin();
*i8 = source();
sink(v8); // $ ast MISSING: ir
sink(v8); // $ ast,ir
*i8 = 1;
sink(v8); // $ SPURIOUS: ast
@@ -389,7 +389,7 @@ void test_vector_output_iterator(int b) {
*i9 = source();
taint_vector_output_iterator(i9);
sink(v9); // $ ast=330:10 SPURIOUS: ast=389:8 MISSING: ir
sink(v9); // $ ast=330:10 ir SPURIOUS: ast=389:8
std::vector<int>::iterator i10 = v10.begin();
vector_iterator_assign_wrapper(i10, 10);
@@ -402,16 +402,16 @@ void test_vector_output_iterator(int b) {
std::vector<int>::iterator i12 = v12.begin();
*i12++ = 0;
*i12 = source();
sink(v12); // $ ast MISSING: ir
sink(v12); // $ ast,ir
std::vector<int>::iterator i13 = v13.begin();
*i13++ = source();
sink(v13); // $ ast MISSING: ir
sink(v13); // $ ast,ir
std::vector<int>::iterator i14 = v14.begin();
i14++;
*i14++ = source();
sink(v14); // $ ast MISSING: ir
sink(v14); // $ ast,ir
}
void test_vector_inserter(char *source_string) {
@@ -419,7 +419,7 @@ void test_vector_inserter(char *source_string) {
std::vector<std::string> out;
auto it = out.end();
*it++ = std::string(source_string);
sink(out); // $ ast MISSING: ir
sink(out); // $ ast,ir
}
{