mirror of
git://sourceware.org/git/glibc.git
synced 2025-03-06 20:58:33 +01:00
ecb1e7220d
According to ISO C23 (7.6.4.4), fesetexcept is supposed to set floating-point exception flags without raising a trap (unlike feraiseexcept, which is supposed to raise a trap if feenableexcept was called with the appropriate argument). This is a side-effect of how we implement the GNU extension feenableexcept, where feenableexcept/fesetenv/fesetmode/feupdateenv might issue prctl (PR_SET_FPEXC, PR_FP_EXC_PRECISE) depending of the argument. And on PR_FP_EXC_PRECISE, setting a floating-point exception flag triggers a trap. To make the both functions follow the C23, fesetexcept and fesetexceptflag now fail if the argument may trigger a trap. The math tests now check for an value different than 0, instead of bail out as unsupported for EXCEPTION_SET_FORCES_TRAP. Checked on powerpc64le-linux-gnu. Reviewed-by: Carlos O'Donell <carlos@redhat.com>
86 lines
2.4 KiB
C
86 lines
2.4 KiB
C
/* Test fegetexceptflag and fesetexceptflag: exception traps enabled.
|
|
Copyright (C) 2016-2023 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, see
|
|
<https://www.gnu.org/licenses/>. */
|
|
|
|
#include <fenv.h>
|
|
#include <stdio.h>
|
|
#include <math-tests.h>
|
|
|
|
static int
|
|
do_test (void)
|
|
{
|
|
int result = 0;
|
|
|
|
fedisableexcept (FE_ALL_EXCEPT);
|
|
int ret = feraiseexcept (FE_ALL_EXCEPT);
|
|
if (ret != 0)
|
|
{
|
|
if (EXCEPTION_TESTS (float))
|
|
{
|
|
puts ("feraiseexcept (FE_ALL_EXCEPT) failed");
|
|
result = 1;
|
|
return result;
|
|
}
|
|
else
|
|
{
|
|
puts ("feraiseexcept (FE_ALL_EXCEPT) unsupported, cannot test");
|
|
return 77;
|
|
}
|
|
}
|
|
fexcept_t saved;
|
|
ret = fegetexceptflag (&saved, FE_ALL_EXCEPT);
|
|
if (ret != 0)
|
|
{
|
|
puts ("fegetexceptflag failed");
|
|
result = 1;
|
|
return result;
|
|
}
|
|
feclearexcept (FE_ALL_EXCEPT);
|
|
|
|
ret = feenableexcept (FE_ALL_EXCEPT);
|
|
if (!EXCEPTION_ENABLE_SUPPORTED (FE_ALL_EXCEPT) && (ret == -1))
|
|
{
|
|
puts ("feenableexcept (FE_ALL_EXCEPT) not supported, cannot test");
|
|
return 77;
|
|
}
|
|
else if (ret != 0)
|
|
{
|
|
puts ("feenableexcept (FE_ALL_EXCEPT) failed");
|
|
result = 1;
|
|
}
|
|
|
|
/* The test is that this does not cause exception traps. For architectures
|
|
where setting the exception might result in traps the function should
|
|
return a nonzero value. */
|
|
ret = fesetexceptflag (&saved, FE_ALL_EXCEPT);
|
|
|
|
_Static_assert (!(EXCEPTION_SET_FORCES_TRAP && !EXCEPTION_TESTS(float)),
|
|
"EXCEPTION_SET_FORCES_TRAP only makes sense if the "
|
|
"architecture suports exceptions");
|
|
|
|
if (ret != 0 && !EXCEPTION_SET_FORCES_TRAP)
|
|
{
|
|
puts ("fesetexceptflag failed");
|
|
result = 1;
|
|
}
|
|
feclearexcept (FE_ALL_EXCEPT);
|
|
|
|
return result;
|
|
}
|
|
|
|
#define TEST_FUNCTION do_test ()
|
|
#include "../test-skeleton.c"
|