From 621102c6206b698136659e74456130dcceeecb5c Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Mon, 15 Sep 2025 11:17:10 +0200 Subject: [PATCH] WIP: Test splitting reduction. --- .../code/csharp/controlflow/internal/Splitting.qll | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/Splitting.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/Splitting.qll index bcc4c48ec924..96146fffd20a 100644 --- a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/Splitting.qll +++ b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/Splitting.qll @@ -40,14 +40,16 @@ private module Cached { success in [false, true] } or TFinallySplit(FinallySplitting::FinallySplitType type, int nestLevel) { - nestLevel = any(Statements::TryStmtTree t).nestLevel() + // nestLevel = any(Statements::TryStmtTree t).nestLevel() + none() } or TExceptionHandlerSplit(ExceptionClass ec) or TBooleanSplit(BooleanSplitting::BooleanSplitSubKind kind, boolean branch) { - kind.startsSplit(_) and - branch in [false, true] + // kind.startsSplit(_) and + // branch in [false, true] + none() } or - TLoopSplit(LoopSplitting::AnalyzableLoopStmt loop) + TLoopSplit(LoopSplitting::AnalyzableLoopStmt loop) { none() } } import Cached