Update cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp

Co-authored-by: Jonas Jensen <jbj@github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2020-06-10 16:51:21 +02:00
committed by GitHub
parent 88dabffd2b
commit 5abab25c28

View File

@@ -524,7 +524,7 @@ namespace IntWrapper
void swap(Class &x, Class &y) {
x.swap(y);
}
} // namespace ImplementationDetails
} // namespace IntWrapper
// using std::swap;
@@ -564,4 +564,4 @@ void test_move_assignment_operator()
sink(y.data); // tainted [FALSE NEGATIVE in IR]
sink(x.data); // tainted
}
}