blob: a2a107a788de94cc43428fcb217c17c539695143 (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
#include <stdio.h>
#include <signal.h>
#include <assert.h>
#include <ieeefp.h>
#include <float.h>
void sigfpe();
volatile sig_atomic_t signal_cought;
static volatile const double one = 1.0;
static volatile const double zero = 0.0;
static volatile const double huge = DBL_MAX;
static volatile const double tiny = DBL_MIN;
int
main()
{
volatile double x;
/*
* check to make sure that all exceptions are masked and
* that the accumulated exception status is clear.
*/
assert(fpgetmask() == 0);
assert(fpgetsticky() == 0);
/* set up signal handler */
signal (SIGFPE, sigfpe);
signal_cought = 0;
/* trip divide by zero */
x = one / zero;
assert (fpgetsticky() & FP_X_DZ);
assert (signal_cought == 0);
fpsetsticky(0);
/* trip invalid operation */
x = zero / zero;
assert (fpgetsticky() & FP_X_INV);
assert (signal_cought == 0);
fpsetsticky(0);
/* trip overflow */
x = huge * huge;
assert (fpgetsticky() & FP_X_OFL);
assert (signal_cought == 0);
fpsetsticky(0);
/* trip underflow */
x = tiny * tiny;
assert (fpgetsticky() & FP_X_UFL);
assert (signal_cought == 0);
fpsetsticky(0);
#if 0
/* unmask and then trip divide by zero */
fpsetmask(FP_X_DZ);
x = one / zero;
assert (signal_cought == 1);
signal_cought = 0;
/* unmask and then trip invalid operation */
fpsetmask(FP_X_INV);
x = zero / zero;
assert (signal_cought == 1);
signal_cought = 0;
/* unmask and then trip overflow */
fpsetmask(FP_X_OFL);
x = huge * huge;
assert (signal_cought == 1);
signal_cought = 0;
/* unmask and then trip underflow */
fpsetmask(FP_X_UFL);
x = tiny * tiny;
assert (signal_cought == 1);
signal_cought = 0;
#endif
exit(0);
}
void
sigfpe()
{
signal_cought = 1;
}
|
