From cf7aa7d8e8523ca246804ba7c8ef6ab4c7910cb8 Mon Sep 17 00:00:00 2001
From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Mon, 5 Jul 2021 17:08:56 +0200
Subject: [PATCH] [Ada] exp_pakd.adb: work around spurious Codepeer warnings

gcc/ada/

	* exp_pakd.adb (Expand_Packed_Not): Replace expression with
	statement.
---
 gcc/ada/exp_pakd.adb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/exp_pakd.adb b/gcc/ada/exp_pakd.adb
index 9b11813..779dbb3 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);
 
-- 
2.7.4