From 1bea3fda290603f9f44f89d281f7590b8912fe53 Mon Sep 17 00:00:00 2001 From: Aaron R Robinson Date: Mon, 20 Jul 2026 13:45:15 -0700 Subject: [PATCH] JIT: formatting fixes in rangecheck.h Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 60b9ea03-ba01-436d-a52a-06abec2fad32 --- src/coreclr/jit/rangecheck.h | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/coreclr/jit/rangecheck.h b/src/coreclr/jit/rangecheck.h index 4880f7696fb070..74c4df51e2ea1c 100644 --- a/src/coreclr/jit/rangecheck.h +++ b/src/coreclr/jit/rangecheck.h @@ -328,10 +328,10 @@ struct RangeOps { if (unsignedAdd) { - bool r1StraddlesZero = r1.IsConstantRange() && (r1.LowerLimit().GetConstant() < 0) && - (r1.UpperLimit().GetConstant() >= 0); - bool r2StraddlesZero = r2.IsConstantRange() && (r2.LowerLimit().GetConstant() < 0) && - (r2.UpperLimit().GetConstant() >= 0); + bool r1StraddlesZero = + r1.IsConstantRange() && (r1.LowerLimit().GetConstant() < 0) && (r1.UpperLimit().GetConstant() >= 0); + bool r2StraddlesZero = + r2.IsConstantRange() && (r2.LowerLimit().GetConstant() < 0) && (r2.UpperLimit().GetConstant() >= 0); if (r1StraddlesZero || r2StraddlesZero) { // Signed intervals that straddle zero are not monotonic when interpreted as unsigned. @@ -355,7 +355,8 @@ struct RangeOps static_assert(CheckedOps::Unsigned == true); // For unsigned adds, require both unsigned and signed endpoint sums to not overflow. bool requestedAddOverflows = CheckedOps::AddOverflows(a.GetConstant(), b.GetConstant(), unsignedAdd); - bool signedEndpointOverflows = unsignedAdd && CheckedOps::AddOverflows(a.GetConstant(), b.GetConstant(), CheckedOps::Signed); + bool signedEndpointOverflows = + unsignedAdd && CheckedOps::AddOverflows(a.GetConstant(), b.GetConstant(), CheckedOps::Signed); if (!requestedAddOverflows && !signedEndpointOverflows) { if (a.IsConstant() && b.IsConstant())