From d9b3f0000054baeb824401232aacfd1dc205be16 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Thu, 9 Jul 2026 11:18:15 +0100 Subject: [PATCH] Accept consistency query output --- .../CONSISTENCY/CfgConsistency.expected | 10 ++++++++++ .../Unsafe/CONSISTENCY/CfgConsistency.expected | 12 ++++++++++++ 2 files changed, 22 insertions(+) create mode 100644 go/ql/test/experimental/InconsistentCode/CONSISTENCY/CfgConsistency.expected create mode 100644 go/ql/test/experimental/Unsafe/CONSISTENCY/CfgConsistency.expected 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 | (...) |