> 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