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

C++: Remove 'flow' value from testcases

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-05-14 15:33:02 +02:00
parent 5f9b96cde9
commit 1c2b8563ae
14 changed files with 71 additions and 71 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
cpp/ql/test/library-tests/dataflow/fields/aliasing.cpp
View File

@@ -26,8 +26,8 @@ void callSetters() {
referenceSetter(s2);
copySetter(s3);
sink(s1.m1); // $ast,ir=flow
sink(s2.m1); // $ast,ir=flow
sink(s1.m1); // $ast,ir
sink(s2.m1); // $ast,ir
sink(s3.m1); // no flow
}
@@ -35,12 +35,12 @@ void assignAfterAlias() {
S s1 = { 0, 0 };
S &ref1 = s1;
ref1.m1 = user_input();
sink(s1.m1); // $f-:ast=flow $ir=flow
sink(s1.m1); // $f-:ast $ir
S s2 = { 0, 0 };
S &ref2 = s2;
s2.m1 = user_input();
sink(ref2.m1); // $f-:ast=flow $ir=flow
sink(ref2.m1); // $f-:ast $ir
}
void assignAfterCopy() {
@@ -59,7 +59,7 @@ void assignBeforeCopy() {
S s2 = { 0, 0 };
s2.m1 = user_input();
S copy2 = s2;
sink(copy2.m1); // $ast,ir=flow
sink(copy2.m1); // $ast,ir
}
struct Wrapper {
@@ -77,18 +77,18 @@ void pointerIntermediate() {
Wrapper w = { { 0, 0 } };
S *s = &w.s;
s->m1 = user_input();
sink(w.s.m1); // $f-:ast=flow $ir=flow
sink(w.s.m1); // $f-:ast $ir
}
void referenceIntermediate() {
Wrapper w = { { 0, 0 } };
S &s = w.s;
s.m1 = user_input();
sink(w.s.m1); // $f-:ast=flow $ir=flow
sink(w.s.m1); // $f-:ast $ir
}
void nestedAssign() {
Wrapper w = { { 0, 0 } };
w.s.m1 = user_input();
sink(w.s.m1); // $ast,ir=flow
sink(w.s.m1); // $ast,ir
}