From: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri, 24 Sep 2021 13:20:22 +0000 (+0200)
Subject: [Ada] Plug small loophole with boolean values
X-Git-Tag: basepoints/gcc-13~4136
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bbdf2d3967366db0148dc454172f594a951dbb8b;p=thirdparty%2Fgcc.git

[Ada] Plug small loophole with boolean values

gcc/ada/

	* gcc-interface/trans.c (gnat_to_gnu): Do not wrap boolean values
	referenced in pragmas.
---

diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c
index ddf08b0a501a..3fec0601bbf3 100644
--- a/gcc/ada/gcc-interface/trans.c
+++ b/gcc/ada/gcc-interface/trans.c
@@ -8261,6 +8261,7 @@ gnat_to_gnu (Node_Id gnat_node)
 	  || kind == N_Selected_Component)
       && TREE_CODE (get_base_type (gnu_result_type)) == BOOLEAN_TYPE
       && Nkind (Parent (gnat_node)) != N_Attribute_Reference
+      && Nkind (Parent (gnat_node)) != N_Pragma_Argument_Association
       && Nkind (Parent (gnat_node)) != N_Variant_Part
       && !lvalue_required_p (gnat_node, gnu_result_type, false, false))
     {