diff --git a/go/ql/test/experimental/InconsistentCode/CONSISTENCY/CfgConsistency.expected b/go/ql/test/experimental/InconsistentCode/CONSISTENCY/CfgConsistency.expected new file mode 100644 index 00000000000..d615482c8a8 --- /dev/null +++ b/go/ql/test/experimental/InconsistentCode/CONSISTENCY/CfgConsistency.expected @@ -0,0 +1,10 @@ +consistencyOverview +| multipleSuccessors | 4 | +| selfLoop | 1 | +multipleSuccessors +| DeferInLoop.go:5:36:14:1 | After block statement | successor | DeferInLoop.go:5:1:14:1 | Normal Exit | +| DeferInLoop.go:5:36:14:1 | After block statement | successor | DeferInLoop.go:8:9:8:20 | defer-invoke call to Close | +| DeferInLoop.go:8:9:8:20 | defer-invoke call to Close | successor | DeferInLoop.go:5:1:14:1 | Normal Exit | +| DeferInLoop.go:8:9:8:20 | defer-invoke call to Close | successor | DeferInLoop.go:8:9:8:20 | defer-invoke call to Close | +selfLoop +| DeferInLoop.go:8:9:8:20 | defer-invoke call to Close | successor | diff --git a/go/ql/test/experimental/Unsafe/CONSISTENCY/CfgConsistency.expected b/go/ql/test/experimental/Unsafe/CONSISTENCY/CfgConsistency.expected new file mode 100644 index 00000000000..a3879fa1b37 --- /dev/null +++ b/go/ql/test/experimental/Unsafe/CONSISTENCY/CfgConsistency.expected @@ -0,0 +1,12 @@ +consistencyOverview +| missingInNodeForPostOrInOrder | 9 | +missingInNodeForPostOrInOrder +| WrongUsageOfUnsafe.go:19:21:19:27 | (...) | +| WrongUsageOfUnsafe.go:36:21:36:27 | (...) | +| WrongUsageOfUnsafe.go:57:21:57:27 | (...) | +| WrongUsageOfUnsafe.go:79:21:79:30 | (...) | +| WrongUsageOfUnsafe.go:113:21:113:30 | (...) | +| WrongUsageOfUnsafe.go:131:21:131:30 | (...) | +| WrongUsageOfUnsafe.go:151:21:151:30 | (...) | +| WrongUsageOfUnsafe.go:169:25:169:34 | (...) | +| WrongUsageOfUnsafe.go:191:21:191:30 | (...) |