Merge pull request #1809 from hvitved/csharp/cfg/tests

Approved by calumgrant

Author: semmle-qlci

csharp/ql/test/library-tests/controlflow/graph/BasicBlockDominance.expected

@@ -0,0 +1,18 @@
+import csharp
+import ControlFlow
+
+query predicate conditionBlock(
+  BasicBlocks::ConditionBlock cb, BasicBlock controlled, boolean testIsTrue
+) {
+  cb.controls(controlled, any(SuccessorTypes::ConditionalSuccessor s | testIsTrue = s.getValue()))
+}
+
+ControlFlow::Node successor(ControlFlow::Node node, boolean kind) {
+  kind = true and result = node.getATrueSuccessor()
+  or
+  kind = false and result = node.getAFalseSuccessor()
+}
+
+query predicate conditionFlow(ControlFlow::Node node, ControlFlow::Node successor, boolean kind) {
+  successor = successor(node, kind)
+}