> NaNs are invalid values in Ada so the language doesn't specify how they
> should be handled but GNAT nevertheless attempts to implement sensible
> semantics for them.  This patch extends this to the Min and Max attributes.
> 
> Tested on x86_64-suse-linux, applied on the mainline.
> 
> 
> 2014-12-22  Eric Botcazou  <ebotca...@adacore.com>
> 
>       * gcc-interface/trans.c (Attribute_to_gnu) <Attr_{Min,Max}>: If the
>       type is a floating-point type, implement the semantics of the C99
>       f{min,max} routines with regard to NaNs.
>       (gnat_to_gnu): Call builtin_decl_implicit.
>       * gcc-interface/utils2.c (compare_arrays): Adjust comments.
> 
> 
> 2014-12-22  Eric Botcazou  <ebotca...@adacore.com>
> 
>       * gnat.dg/nan_max.adb: New test.

ENOPATCH: https://gcc.gnu.org/ml/gcc-cvs/2014-12/msg00823.html

-- 
Eric Botcazou

Reply via email to