From: Boris Yakobowski <yakobowski@adacore.com>
Date: Mon, 19 Apr 2021 10:17:07 +0000 (+0200)
Subject: [Ada] Do not catch 'N mod -1' in CodePeer_Mode
X-Git-Tag: basepoints/gcc-13~6413
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c8cb547e601f1e271243817ee6325221ba1135a3;p=thirdparty%2Fgcc.git

[Ada] Do not catch 'N mod -1' in CodePeer_Mode

gcc/ada/

	* exp_ch4.adb (Expand_N_Op_Mod): Remove special case for mod -1
	in CodePeer_Mode.
---

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 9c585e74e508..a9fc27051574 100644
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -9626,6 +9626,7 @@ package body Exp_Ch4 is
 
             if ((not ROK) or else (Rlo <= (-1) and then (-1) <= Rhi))
               and then ((not LOK) or else (Llo = LLB))
+              and then not CodePeer_Mode
             then
                Rewrite (N,
                  Make_If_Expression (Loc,