bugfix: __float80 is a typedef, not a keyword

Author: Daniel Kroening

src/ansi-c/ansi_c_internal_additions.cpp

@@ -199,6 +199,17 @@ void ansi_c_internal_additions(std::string &code)
         code+="typedef double __float128;\n"; // clang doesn't do __float128
     }
 
+    if(config.ansi_c.arch=="i386" ||
+       config.ansi_c.arch=="x86_64" ||
+       config.ansi_c.arch=="x32" ||
+       config.ansi_c.arch=="ia64")
+    {
+      // clang doesn't do __float80
+      // Note that __float80 is a typedef, and not a keyword.
+      if(config.ansi_c.mode==configt::ansi_ct::flavourt::APPLE)
+        code+="typedef _Float64x __float80;\n";
+    }
+
     // On 64-bit systems, gcc has typedefs
     // __int128_t und __uint128_t -- but not on 32 bit!
     if(config.ansi_c.long_int_width>=64)

src/ansi-c/scanner.l

@@ -489,13 +489,6 @@ void ansi_c_scanner_init()
                     return make_identifier();
                 }
 
-"__float80"     { // clang doesn't have it
-                  if(PARSER.mode==configt::ansi_ct::flavourt::GCC)
-                  { loc(); return TOK_GCC_FLOAT80; }
-                  else
-                    return make_identifier();
-                }
-
 "__float128"    { // clang doesn't have it
                   if(PARSER.mode==configt::ansi_ct::flavourt::GCC)
                   { loc(); return TOK_GCC_FLOAT128; }

src/cpp/cpp_internal_additions.cpp

@@ -130,6 +130,17 @@ void cpp_internal_additions(std::ostream &out)
         out << "typedef double __float128;" << '\n';
     }
 
+    if(config.ansi_c.arch=="i386" ||
+       config.ansi_c.arch=="x86_64" ||
+       config.ansi_c.arch=="x32" ||
+       config.ansi_c.arch=="ia64")
+    {
+      // clang doesn't do __float80
+      // Note that __float80 is a typedef, and not a keyword.
+      if(config.ansi_c.mode==configt::ansi_ct::flavourt::APPLE)
+        out << "typedef _Float64x __float80;" << '\n';
+    }
+
     // On 64-bit systems, gcc has typedefs
     // __int128_t und __uint128_t -- but not on 32 bit!
     if(config.ansi_c.long_int_width >= 64)