File tree Expand file tree Collapse file tree 1 file changed +15
-3
lines changed
regression/cbmc/ts18661_typedefs Expand file tree Collapse file tree 1 file changed +15
-3
lines changed Original file line number Diff line number Diff line change 1
- #if defined(__clang__ )
2
- #elif defined(__GNUC__ )
1
+ #if defined(__GNUC__ ) && !defined(__clang__ )
2
+
3
+ #ifdef __x86_64__
4
+ #define FLOAT128_MINOR_VERSION 3
5
+ #else
6
+ #define FLOAT128_MINOR_VERSION 5
7
+ #endif
8
+
3
9
#if __GNUC__ >= 7
4
10
#define HAS_FLOATN
11
+ #elif __GNUC_PREREQ (4 , FLOAT128_MINOR_VERSION )
12
+ #define HAS_FLOAT128
5
13
#endif
14
+
6
15
#endif
7
16
8
17
#ifndef HAS_FLOATN
9
18
typedef float _Float32 ;
10
19
typedef double _Float32x ;
11
20
typedef double _Float64 ;
12
21
typedef long double _Float64x ;
13
- typedef long double _Float128 ;
14
22
typedef long double _Float128x ;
15
23
#endif
16
24
25
+ #if !defined(HAS_FLOATN ) && !defined(HAS_FLOAT128 )
26
+ typedef long double _Float128 ;
27
+ #endif
28
+
17
29
int main (int argc , char * * argv ) {
18
30
}
You can’t perform that action at this time.
0 commit comments