From 4ff362fdb67570b3e1213f08a430f2a2696c6191 Mon Sep 17 00:00:00 2001
From: Dilan Bhalla <dilanbhalla@microsoft.com>
Date: Wed, 30 Oct 2024 11:03:10 -0700
Subject: [PATCH] commenting out problematic powershell qll code

---
 .../controlflow/internal/Splitting.qll        | 56 +++++++++----------
 1 file changed, 28 insertions(+), 28 deletions(-)

diff --git a/powershell/ql/lib/semmle/code/powershell/controlflow/internal/Splitting.qll b/powershell/ql/lib/semmle/code/powershell/controlflow/internal/Splitting.qll
index 42a94212891c..21ca95b70772 100644
--- a/powershell/ql/lib/semmle/code/powershell/controlflow/internal/Splitting.qll
+++ b/powershell/ql/lib/semmle/code/powershell/controlflow/internal/Splitting.qll
@@ -39,46 +39,46 @@ private module ConditionalCompletionSplitting {
     override string toString() { result = completion.toString() }
   }
 
-  private class ConditionalCompletionSplitKind extends SplitKind, TConditionalCompletionSplitKind {
-    override int getListOrder() { result = 0 }
+  // private class ConditionalCompletionSplitKind extends SplitKind, TConditionalCompletionSplitKind {
+  //   override int getListOrder() { result = 0 }
 
-    override predicate isEnabled(Ast n) { this.appliesTo(n) }
+  //   override predicate isEnabled(Ast n) { this.appliesTo(n) }
 
-    override string toString() { result = "ConditionalCompletion" }
-  }
+  //   override string toString() { result = "ConditionalCompletion" }
+  // }
 
   int getNextListOrder() { result = 1 }
 
-  private class ConditionalCompletionSplitImpl extends SplitImpl instanceof ConditionalCompletionSplit
-  {
-    ConditionalCompletion completion;
+//   private class ConditionalCompletionSplitImpl extends SplitImpl instanceof ConditionalCompletionSplit
+//   {
+//     ConditionalCompletion completion;
 
-    ConditionalCompletionSplitImpl() { this = TConditionalCompletionSplit(completion) }
+//     ConditionalCompletionSplitImpl() { this = TConditionalCompletionSplit(completion) }
 
-    override ConditionalCompletionSplitKind getKind() { any() }
+//     override ConditionalCompletionSplitKind getKind() { any() }
 
-    override predicate hasEntry(Ast pred, Ast succ, Completion c) {
-      succ(pred, succ, c) and
-      last(succ, _, completion) and
-      none() // TODO
-    }
+//     override predicate hasEntry(Ast pred, Ast succ, Completion c) {
+//       succ(pred, succ, c) and
+//       last(succ, _, completion) and
+//       none() // TODO
+//     }
 
-    override predicate hasEntryScope(Cfg::CfgScope scope, Ast succ) { none() }
+//     override predicate hasEntryScope(Cfg::CfgScope scope, Ast succ) { none() }
 
-    override predicate hasExit(Ast pred, Ast succ, Completion c) {
-      this.appliesTo(pred) and
-      succ(pred, succ, c) and
-      if c instanceof ConditionalCompletion then completion = c else any()
-    }
+//     override predicate hasExit(Ast pred, Ast succ, Completion c) {
+//       this.appliesTo(pred) and
+//       succ(pred, succ, c) and
+//       if c instanceof ConditionalCompletion then completion = c else any()
+//     }
 
-    override predicate hasExitScope(Cfg::CfgScope scope, Ast last, Completion c) {
-      this.appliesTo(last) and
-      succExit(scope, last, c) and
-      if c instanceof ConditionalCompletion then completion = c else any()
-    }
+//     override predicate hasExitScope(Cfg::CfgScope scope, Ast last, Completion c) {
+//       this.appliesTo(last) and
+//       succExit(scope, last, c) and
+//       if c instanceof ConditionalCompletion then completion = c else any()
+//     }
 
-    override predicate hasSuccessor(Ast pred, Ast succ, Completion c) { none() }
-  }
+//     override predicate hasSuccessor(Ast pred, Ast succ, Completion c) { none() }
+//   }
 }
 
 class ConditionalCompletionSplit = ConditionalCompletionSplitting::ConditionalCompletionSplit;