From: Eric Botcazou <ebotcazou@adacore.com>
Date: Sun, 16 Jan 2022 13:09:20 +0000 (+0100)
Subject: [Ada] Preserve unchecked conversion of string constant
X-Git-Tag: basepoints/gcc-14~6548
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8630f50feeb78d4a69eaeabf520b734a67bfe32b;p=thirdparty%2Fgcc.git

[Ada] Preserve unchecked conversion of string constant

This makes it possible to pass the result to a C function directly.

gcc/ada/

	* gcc-interface/utils.cc (unchecked_convert): Do not fold a string
	constant if the target type is pointer to character.
---

diff --git a/gcc/ada/gcc-interface/utils.cc b/gcc/ada/gcc-interface/utils.cc
index 5722ed2611d..98bcb7063e3 100644
--- a/gcc/ada/gcc-interface/utils.cc
+++ b/gcc/ada/gcc-interface/utils.cc
@@ -5637,6 +5637,13 @@ unchecked_convert (tree type, tree expr, bool notrunc_p)
       return unchecked_convert (type, expr, notrunc_p);
     }
 
+  /* If we are converting a string constant to a pointer to character, make
+     sure that the string is not folded into an integer constant.  */
+  else if (TREE_CODE (expr) == STRING_CST
+	   && POINTER_TYPE_P (type)
+	   && TYPE_STRING_FLAG (TREE_TYPE (type)))
+    expr = build1 (VIEW_CONVERT_EXPR, type, expr);
+
   /* Otherwise, just build a VIEW_CONVERT_EXPR of the expression.  */
   else
     {