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