Shared CFG: Add "dead end" consistency query

hvitved · hvitved · commit 923ca134e8e7 · 2021-11-19T09:14:38.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImplShared.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImplShared.qll
@@ -943,4 +943,9 @@ module Consistency {
     strictcount(getASuccessor(node, t)) > 1 and
     successor = getASuccessor(node, t)
   }
+
+  query predicate deadEnd(Node node) {
+    not node instanceof TExitNode and
+    not exists(getASuccessor(node, _))
+  }
 }
diff --git a/ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImplShared.qll b/ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImplShared.qll
@@ -943,4 +943,9 @@ module Consistency {
     strictcount(getASuccessor(node, t)) > 1 and
     successor = getASuccessor(node, t)
   }
+
+  query predicate deadEnd(Node node) {
+    not node instanceof TExitNode and
+    not exists(getASuccessor(node, _))
+  }
 }

Original file line number	Diff line number	Diff line change
`@@ -943,4 +943,9 @@ module Consistency {`
`943`	`943`	`strictcount(getASuccessor(node, t)) > 1 and`
`944`	`944`	`successor = getASuccessor(node, t)`
`945`	`945`	`}`
	`946`	`+`
	`947`	`+ query predicate deadEnd(Node node) {`
	`948`	`+ not node instanceof TExitNode and`
	`949`	`+ not exists(getASuccessor(node, _))`
	`950`	`+ }`
`946`	`951`	`}`