test for __float80 and __float128

Author: Daniel Kroening

regression/ansi-c/gcc_float_types1/main.c

@@ -0,0 +1,19 @@
+// for gcc, __float80 and __float128 are typedefs
+// for clang, __float128 is a keyword, and __float80 doesn't exist.
+
+#ifdef __clang__
+int __float80;
+__float128 f128;
+#else
+__float80 f80;
+__float128 f128;
+#endif
+
+int main()
+{
+  #ifndef __clang__
+  // on gcc, they can be re-declared, as they are identifiers, not keywords
+  int __float80;
+  int __float128;
+  #endif
+}

regression/ansi-c/gcc_float_types1/test.desc

@@ -0,0 +1,8 @@
+CORE gcc-only
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$