From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Mon, 5 Jul 2021 15:08:56 +0000 (+0200)
Subject: [Ada] exp_pakd.adb: work around spurious Codepeer warnings
X-Git-Tag: basepoints/gcc-13~4574
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=cf7aa7d8e8523ca246804ba7c8ef6ab4c7910cb8;p=thirdparty%2Fgcc.git

[Ada] exp_pakd.adb: work around spurious Codepeer warnings

gcc/ada/

	* exp_pakd.adb (Expand_Packed_Not): Replace expression with
	statement.
---

diff --git a/gcc/ada/exp_pakd.adb b/gcc/ada/exp_pakd.adb
index 9b1181385616..779dbb3ad306 100644
--- a/gcc/ada/exp_pakd.adb
+++ b/gcc/ada/exp_pakd.adb
@@ -2002,7 +2002,11 @@ package body Exp_Pakd is
       --  actual subtype of the operand. Preserve old behavior in case size is
       --  not set.
 
-      Size := (if Known_RM_Size (PAT) then RM_Size (PAT) else Uint_0);
+      if Known_RM_Size (PAT) then
+         Size := RM_Size (PAT);
+      else
+         Size := Uint_0;
+      end if;
       Lit := Make_Integer_Literal (Loc, 2 ** Size - 1);
       Set_Print_In_Hex (Lit);