From 5b21188e0df36afd3313aaf1ca4ec15a6d5d0b5f Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Fri, 23 May 2025 14:17:21 +0200 Subject: [PATCH] C#: Sync. --- csharp/ql/lib/semmle/code/csharp/dataflow/ModulusAnalysis.qll | 2 +- .../dataflow/internal/rangeanalysis/ModulusAnalysisSpecific.qll | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/ModulusAnalysis.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/ModulusAnalysis.qll index 5b2a39ad6c9..3e5a45da247 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/ModulusAnalysis.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/ModulusAnalysis.qll @@ -17,7 +17,7 @@ private predicate valueFlowStepSsa(SsaVariable v, SsaReadPosition pos, Expr e, i exists(Guard guard, boolean testIsTrue | pos.hasReadOfVar(v) and guard = eqFlowCond(v, e, delta, true, testIsTrue) and - guardDirectlyControlsSsaRead(guard, pos, testIsTrue) + guardControlsSsaRead(guard, pos, testIsTrue) ) } diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/ModulusAnalysisSpecific.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/ModulusAnalysisSpecific.qll index 4a9c3cdbe6d..c9c3a937ef9 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/ModulusAnalysisSpecific.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/ModulusAnalysisSpecific.qll @@ -32,8 +32,6 @@ module Private { class LeftShiftExpr = RU::ExprNode::LeftShiftExpr; - predicate guardDirectlyControlsSsaRead = RU::guardControlsSsaRead/3; - predicate guardControlsSsaRead = RU::guardControlsSsaRead/3; predicate valueFlowStep = RU::valueFlowStep/3;