From: Arnaud Charlet <charlet@adacore.com>
Date: Sun, 21 Jun 2020 17:52:29 +0000 (-0400)
Subject: [Ada] Complete support for static intrinsic functions
X-Git-Tag: basepoints/gcc-12~4335
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c2c8f0d0428e178120f78ae62107dd608cf8ccfd;p=thirdparty%2Fgcc.git

[Ada] Complete support for static intrinsic functions

gcc/ada/

	* sem_res.adb (Resolve_Call): Do not try to inline intrinsic
	calls.
---

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 50a4287d9ce1..d1d5e3d80b27 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -7042,6 +7042,7 @@ package body Sem_Res is
 
       if not Checking_Potentially_Static_Expression
         and then Is_Static_Function_Call (N)
+        and then not Is_Intrinsic_Subprogram (Ultimate_Alias (Nam))
         and then not Error_Posted (Ultimate_Alias (Nam))
       then
          Inline_Static_Function_Call (N, Ultimate_Alias (Nam));