https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121823
Bug ID: 121823
Summary: float expressions not honor rounding
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: ---
This fails:
#include <assert.h>
#include <limits.h>
#include <errno.h>
#include <stdio.h>
#include <float.h>
#include <fenv.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){
double d6[9];
int rnd_rc = fesetround( FE_DOWNWARD );
d6[1] = (0.0)*(1.0) - (0.0); /* -0.0 */
d6[0] = 1.0 / d6[1]; /* -inf */
assert( (-INFINITY) == d6[0] ); /* fails here */
}
return 0;
}
