On Thu, 11 Sep 2014, Joseph S. Myers wrote:
On Thu, 11 Sep 2014, Marc Glisse wrote:
I don't know what kind of test you have in mind, so I added a runtime test. I
am just guessing that it probably fails on alpha because of PR 58757, I can't
test. Computing d+d may be even more likely to trigger potential issues, if
that's the goal.
Yes, a runtime test. I don't think there should be an xfail without it
actually having been tested to fail (and then such an xfail should come
with a comment referencing the bug filed in Bugzilla).
Would it be ok with the attached testcase then? (same ChangeLog).
--
Marc Glisse
/* { dg-do run } */
/* { dg-options "-std=c11" } */
/* Test that the smallest positive value is not 0. This needs to be true
even when denormals are not supported, so we do not pass any flag
like -mieee. If it fails on alpha, see PR 58757. */
#include <float.h>
int main(){
volatile float f = FLT_TRUE_MIN;
volatile double d = DBL_TRUE_MIN;
volatile long double l = LDBL_TRUE_MIN;
if (f == 0 || d == 0 || l == 0)
__builtin_abort ();
return 0;
}