File tree Expand file tree Collapse file tree
cpp/ql/test/library-tests/dataflow/fields Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -39,8 +39,8 @@ void sink(int x)
3939
4040void bar (Outer &b)
4141{
42- sink (b.inner .f .a ()); // $ast=62 :19 $f+: ast=63 :19 $ast=64:19 $f+:ast=65:19 $ ir=62 :19 $f+: ir=63:19 $ir=64:19 $f+:ir=65 :19
43- sink (b.inner .f .b ()); // $f+: ast=62 :19 $ast=63 :19 $f+:ast=64:19 $ast=65:19 $f+: ir=62 :19 $ir=63:19 $f+:ir=64:19 $ir=65 :19
42+ sink (b.inner .f .a ()); // $ast=53 :19 $ast=55 :19 $ir=53 :19 $ir=55 :19
43+ sink (b.inner .f .b ()); // $ast=54 :19 $ast=56 :19 $ir=54 :19 $ir=56 :19
4444}
4545
4646void foo ()
Original file line number Diff line number Diff line change 1- | complex.cpp:42:18:42:18 | call to a | Unexpected result: ast=53:19 |
2- | complex.cpp:42:18:42:18 | call to a | Unexpected result: ast=55:19 |
3- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Fixed false positive:ast=63:19 |
4- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Fixed false positive:ast=65:19 |
5- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Missing result:ast=62:19 |
6- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Missing result:ast=64:19 |
7- | complex.cpp:43:18:43:18 | call to b | Unexpected result: ast=54:19 |
8- | complex.cpp:43:18:43:18 | call to b | Unexpected result: ast=56:19 |
9- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Fixed false positive:ast=62:19 |
10- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Fixed false positive:ast=64:19 |
11- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Missing result:ast=63:19 |
12- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Missing result:ast=65:19 |
Original file line number Diff line number Diff line change 1- | complex.cpp:42:18:42:18 | call to a | Unexpected result: ir=53:19 |
2- | complex.cpp:42:18:42:18 | call to a | Unexpected result: ir=55:19 |
3- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Fixed false positive:ir=63:19 |
4- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Fixed false positive:ir=65:19 |
5- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Missing result:ir=62:19 |
6- | complex.cpp:42:24:42:121 | // $ast=62:19 $f+:ast=63:19 $ast=64:19 $f+:ast=65:19 $ir=62:19 $f+:ir=63:19 $ir=64:19 $f+:ir=65:19 | Missing result:ir=64:19 |
7- | complex.cpp:43:18:43:18 | call to b | Unexpected result: ir=54:19 |
8- | complex.cpp:43:18:43:18 | call to b | Unexpected result: ir=56:19 |
9- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Fixed false positive:ir=62:19 |
10- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Fixed false positive:ir=64:19 |
11- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Missing result:ir=63:19 |
12- | complex.cpp:43:24:43:121 | // $f+:ast=62:19 $ast=63:19 $f+:ast=64:19 $ast=65:19 $f+:ir=62:19 $ir=63:19 $f+:ir=64:19 $ir=65:19 | Missing result:ir=65:19 |
You can’t perform that action at this time.
0 commit comments