Skip to content

Commit 3fcd85a

Browse files
smowtonDaniel Kroening
authored and
Daniel Kroening
committed
Add test for gcc-5
This version should expose _Float128, but not other ts18661 types
1 parent 4209eec commit 3fcd85a

File tree

3 files changed

+19
-0
lines changed

3 files changed

+19
-0
lines changed
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/sh
2+
3+
gcc -Wno-macro-redefined -U __clang_major__ -D __GNUC__=5 -D __GNUC_MINOR__=0 -D __GNUC_PATCHLEVEL__=0 "$@"
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
// These types should *not* be provided when emulating gcc-5:
2+
typedef float _Float32;
3+
typedef double _Float32x;
4+
typedef double _Float64;
5+
typedef long double _Float64x;
6+
typedef long double _Float128x;
7+
8+
// But this type should:
9+
_Float128 f128;
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
gcc-5.c
3+
--native-compiler ./fake-gcc-5
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^CONVERSION ERROR$

0 commit comments

Comments
 (0)