[Bug c/122276] New: i = ( 1, (0./0.), 0 ); not raise FE_INVALID as expected.

[tydeman at tybor dot com via Gcc-bugs]

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

            Bug ID: 122276
           Summary: i = ( 1, (0./0.), 0 );  not raise FE_INVALID as
                    expected.
           Product: gcc
           Version: 15.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: ---

#include <assert.h>
#include <limits.h>
#include <errno.h>
#include <stdio.h>
#include <float.h>
#include <fenv.h>
#include <complex.h>
#include <math.h>       /* glibc 2.41-11 */

#pragma STDC FENV_ACCESS ON
#pragma STDC FP_CONTRACT OFF
#pragma STDC FENV_ROUND FE_TONEAREST
#pragma STDC FENV_DEC_ROUND FE_DEC_TONEAREST
#pragma STDC CX_LIMITED_RANGE OFF

int main(void){
  if(1){
    int i;
    int flags;
    errno = 0;
    feclearexcept(FE_ALL_EXCEPT);
    i = ( 1, (0./0.), 0 );      /* should raise invalid */
    flags = fetestexcept(FE_ALL_EXCEPT);
    assert( 0 == i );
    assert( 0 == errno );
    assert( FE_INVALID & flags );       /* fails here */
  }