From: Ed Schonberg Date: Mon, 4 Jul 2005 13:27:32 +0000 (+0200) Subject: exp_attr.adb (Mod): Evaluate condition expression with checks off, to prevent spuriou... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3b641023b36ac88164d64851ee5e45fc365937cc;p=gcc.git exp_attr.adb (Mod): Evaluate condition expression with checks off, to prevent spurious warnings. 2005-07-04 Ed Schonberg * exp_attr.adb (Mod): Evaluate condition expression with checks off, to prevent spurious warnings. From-SVN: r101577 --- diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index e80a15db823..0c43d595207 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -2372,7 +2372,7 @@ package body Exp_Attr is Right_Opnd => Make_Integer_Literal (Loc, Modv)))); -- Here we know that the modulus is larger than type'Last of the - -- integer type. There are three possible cases to consider: + -- integer type. There are two cases to consider: -- a) The integer value is non-negative. In this case, it is -- returned as the result (since it is less than the modulus). @@ -2393,6 +2393,10 @@ package body Exp_Attr is -- Furthermore, (-value - 1) can be expressed as -(value + 1) -- which we can compute using the integer base type. + -- Once this is done we analyze the conditional expression without + -- range checks, because we know everything is in range, and we + -- want to prevent spurious warnings on either branch. + else Rewrite (N, Make_Conditional_Expression (Loc, @@ -2420,7 +2424,7 @@ package body Exp_Attr is end if; - Analyze_And_Resolve (N, Btyp); + Analyze_And_Resolve (N, Btyp, All_Checks); end Mod_Case; -----------