[Bug c/88062] New: tgmath with fadd vs faddl done wrong

[tydeman at tybor dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88062

            Bug ID: 88062
           Summary: tgmath with fadd vs faddl done wrong
           Product: gcc
           Version: 8.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tydeman at tybor dot com
  Target Milestone: ---

/*
 * Type generic wrong for faddl()
 * 64-bit Fedora Linux 29 on Intel i5
 * gcc 8.2.1-5
 */

/* Tell implementation that we want FP extensions */
#define __STDC_WANT_IEC_60559_BFP_EXT__ 1

#include <stdio.h>
#include <tgmath.h>
#include <math.h>
#include <float.h>

int main(void){
  float specific, generic;
  specific = (faddl)(INFINITY,-LDBL_MAX);       /* inf */
  generic =   fadd(  INFINITY,-LDBL_MAX);       /* nan */
  (void)printf("specific=%f, generic=%f\n", specific, generic);
  return 0;
}