Files
codeql/cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected
Mathias Vorreiter Pedersen 72a80e3722 C++: Accept test changes.
2020-12-22 09:14:54 +01:00

47 lines
3.0 KiB
Plaintext

uniqueEnclosingCallable
uniqueType
uniqueNodeLocation
| BarrierGuard.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| acrossLinkTargets.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| clang.cpp:4:11:4:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| clang.cpp:4:27:4:35 | (unnamed parameter 0) | Node should have one location but has 2. |
| clang.cpp:4:51:4:53 | (unnamed parameter 0) | Node should have one location but has 2. |
| dispatch.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| globals.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| test.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| test.cpp:2:27:2:35 | (unnamed parameter 0) | Node should have one location but has 2. |
| test.cpp:2:51:2:53 | (unnamed parameter 0) | Node should have one location but has 2. |
missingLocation
| Nodes without location: 4 |
uniqueNodeToString
missingToString
parameterCallable
localFlowIsLocal
compatibleTypesReflexive
unreachableNodeCCtx
localCallNodes
postIsNotPre
postHasUniquePre
| dispatch.cpp:15:8:15:8 | Top output argument | PostUpdateNode should have one pre-update node but has 0. |
| dispatch.cpp:21:8:21:8 | Middle output argument | PostUpdateNode should have one pre-update node but has 0. |
| dispatch.cpp:60:18:60:29 | Bottom output argument | PostUpdateNode should have one pre-update node but has 0. |
| dispatch.cpp:61:18:61:29 | Middle output argument | PostUpdateNode should have one pre-update node but has 0. |
| dispatch.cpp:65:10:65:21 | Bottom output argument | PostUpdateNode should have one pre-update node but has 0. |
| test.cpp:384:10:384:13 | memcpy output argument | PostUpdateNode should have one pre-update node but has 0. |
| test.cpp:391:10:391:13 | memcpy output argument | PostUpdateNode should have one pre-update node but has 0. |
| test.cpp:400:10:400:13 | memcpy output argument | PostUpdateNode should have one pre-update node but has 0. |
| test.cpp:407:10:407:13 | memcpy output argument | PostUpdateNode should have one pre-update node but has 0. |
uniquePostUpdate
postIsInSameCallable
reverseRead
argHasPostUpdate
postWithInFlow
| test.cpp:384:10:384:13 | memcpy output argument | PostUpdateNode should not be the target of local flow. |
| test.cpp:391:10:391:13 | memcpy output argument | PostUpdateNode should not be the target of local flow. |
| test.cpp:400:10:400:13 | memcpy output argument | PostUpdateNode should not be the target of local flow. |
| test.cpp:407:10:407:13 | memcpy output argument | PostUpdateNode should not be the target of local flow. |