[Ada] PR ada/98724: Alpha/Linux/libada: Use wraplf for Aux_Long_Long_Float

Message ID alpine.DEB.2.21.2202131541400.34636@angie.orcam.me.uk
State Committed
Commit 4493c5a2030d9191761d159067815b5f0325a9d2
Headers
Series [Ada] PR ada/98724: Alpha/Linux/libada: Use wraplf for Aux_Long_Long_Float |

Commit Message

Maciej W. Rozycki Feb. 13, 2022, 4:11 p.m. UTC
  Use the Long Long Float wrapper in terms of Long Float for Alpha/Linux 
targets as well, fixing gnatlib compilation errors:

a-nallfl.ads:48:13: warning: intrinsic binding type mismatch on result [enabledby default]
a-nallfl.ads:48:13: warning: intrinsic binding type mismatch on parameter 1 [enabled by default]
a-nallfl.ads:48:13: warning: profile of "Sin" doesn't match the builtin it binds [enabled by default]

etc. with the `alpha-linux-gnu' target.

	gcc/ada/
	PR ada/98724
	PR ada/97504
	* Makefile.rtl (LIBGNAT_TARGET_PAIRS) <alpha*-*-linux*>: Use 
	wraplf version of Aux_Long_Long_Float.
---
Hi,

 OK for trunk and GCC 11?

  Maciej
---
 gcc/ada/Makefile.rtl |    1 +
 1 file changed, 1 insertion(+)

gcc-alpha-libgnat-nallfl-wraplf.diff
  

Comments

Arnaud Charlet Feb. 13, 2022, 4:53 p.m. UTC | #1
> Use the Long Long Float wrapper in terms of Long Float for Alpha/Linux 
> targets as well, fixing gnatlib compilation errors:
> 
> a-nallfl.ads:48:13: warning: intrinsic binding type mismatch on result [enabledby default]
> a-nallfl.ads:48:13: warning: intrinsic binding type mismatch on parameter 1 [enabled by default]
> a-nallfl.ads:48:13: warning: profile of "Sin" doesn't match the builtin it binds [enabled by default]
> 
> etc. with the `alpha-linux-gnu' target.
> 
> 	gcc/ada/
> 	PR ada/98724
> 	PR ada/97504
> 	* Makefile.rtl (LIBGNAT_TARGET_PAIRS) <alpha*-*-linux*>: Use 
> 	wraplf version of Aux_Long_Long_Float.
> ---
> Hi,
> 
>  OK for trunk and GCC 11?

OK, thanks.
  
Maciej W. Rozycki Feb. 13, 2022, 11:04 p.m. UTC | #2
On Sun, 13 Feb 2022, Arnaud Charlet wrote:

> > 	gcc/ada/
> > 	PR ada/98724
> > 	PR ada/97504
> > 	* Makefile.rtl (LIBGNAT_TARGET_PAIRS) <alpha*-*-linux*>: Use 
> > 	wraplf version of Aux_Long_Long_Float.
> > ---
> > Hi,
> > 
> >  OK for trunk and GCC 11?
> 
> OK, thanks.

 Committed and backported, and the PR closed.  Thank you for your review!

  Maciej
  

Patch

Index: gcc/gcc/ada/Makefile.rtl
===================================================================
--- gcc.orig/gcc/ada/Makefile.rtl
+++ gcc/gcc/ada/Makefile.rtl
@@ -2559,6 +2559,7 @@  endif
 ifeq ($(strip $(filter-out alpha% linux%,$(target_cpu) $(target_os))),)
   LIBGNAT_TARGET_PAIRS = \
   a-intnam.ads<libgnarl/a-intnam__linux.ads \
+  a-nallfl.ads<libgnat/a-nallfl__wraplf.ads \
   s-inmaop.adb<libgnarl/s-inmaop__posix.adb \
   s-intman.adb<libgnarl/s-intman__posix.adb \
   s-linux.ads<libgnarl/s-linux__alpha.ads \