131
|
1 #ifndef RANGE_H
|
|
2
|
|
3 /* Definitions of helper functions and macros to create expressions
|
|
4 in a specified range. Not all the symbols declared here are
|
|
5 defined. */
|
|
6
|
|
7 #define SIZE_MAX __SIZE_MAX__
|
|
8 #define DIFF_MAX __PTRDIFF_MAX__
|
|
9 #define DIFF_MIN (-DIFF_MAX - 1)
|
|
10
|
|
11 typedef __INT32_TYPE__ int32_t;
|
|
12 typedef __PTRDIFF_TYPE__ ptrdiff_t;
|
|
13 typedef __SIZE_TYPE__ size_t;
|
|
14
|
|
15 static inline ptrdiff_t signed_value (void)
|
|
16 {
|
|
17 extern volatile ptrdiff_t signed_value_source;
|
|
18 return signed_value_source;
|
|
19 }
|
|
20
|
|
21 static inline size_t unsigned_value (void)
|
|
22 {
|
|
23 extern volatile size_t unsigned_value_source;
|
|
24 return unsigned_value_source;
|
|
25 }
|
|
26
|
|
27 static inline ptrdiff_t signed_range (ptrdiff_t min, ptrdiff_t max)
|
|
28 {
|
|
29 ptrdiff_t val = signed_value ();
|
|
30 return val < min || max < val ? min : val;
|
|
31 }
|
|
32
|
|
33 static inline ptrdiff_t signed_anti_range (ptrdiff_t min, ptrdiff_t max)
|
|
34 {
|
|
35 ptrdiff_t val = signed_value ();
|
|
36 return min <= val && val <= max ? min == DIFF_MIN ? max + 1 : min - 1 : val;
|
|
37 }
|
|
38
|
|
39 static inline size_t unsigned_range (size_t min, size_t max)
|
|
40 {
|
|
41 size_t val = unsigned_value ();
|
|
42 return val < min || max < val ? min : val;
|
|
43 }
|
|
44
|
|
45 static inline size_t unsigned_anti_range (size_t min, size_t max)
|
|
46 {
|
|
47 size_t val = unsigned_value ();
|
|
48 return min <= val && val <= max ? min == 0 ? max + 1 : min - 1 : val;
|
|
49 }
|
|
50
|
|
51 #define SR(min, max) signed_range ((min), (max))
|
|
52 #define UR(min, max) unsigned_range ((min), (max))
|
|
53
|
|
54 #define SAR(min, max) signed_anti_range ((min), (max))
|
|
55 #define UAR(min, max) unsigned_anti_range ((min), (max))
|
|
56
|
|
57 #endif /* RANGE_H */
|