blob: 59ba6fee15ad622f5f49a989b65489d58cd264fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
/* Tail call optimizations would convert func() into the moral equivalent of:
double acc = 0.0;
for (int i = 0; i <= n; i++)
acc += d;
return acc;
which mishandles the case where 'd' is -0. They also initialised 'acc'
to a zero int rather than a zero double. */
double func (double d, int n)
{
if (n == 0)
return d;
else
return d + func (d, n - 1);
}
int main ()
{
if (__builtin_copysign (1.0, func (0.0 / -5.0, 10)) != -1.0)
abort ();
exit (0);
}
|
