Description: __float80 is only supported on x86 platforms
 .
 cbmc (5.10-2) unstable; urgency=low
 .
   * Fix regression tests using __float80, which is x86 only (Closes: #909932)
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/909932

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2018-09-30

--- cbmc-5.10.orig/regression/ansi-c/gcc_float_types1/main.c
+++ cbmc-5.10/regression/ansi-c/gcc_float_types1/main.c
@@ -1,7 +1,8 @@
 // for gcc, __float80 and __float128 are typedefs
 // for clang, __float128 is a keyword, and __float80 doesn't exist.
 
-#ifdef __clang__
+#if defined(__clang__) || \
+    !(defined(__ia64__) || defined(__x86_64__) || defined(__i386__))
 int __float80;
 __float128 f128;
 #else
--- cbmc-5.10.orig/regression/ansi-c/gcc_types_compatible_p1/main.c
+++ cbmc-5.10/regression/ansi-c/gcc_types_compatible_p1/main.c
@@ -98,7 +98,8 @@ STATIC_ASSERT(!__builtin_types_compatibl
 STATIC_ASSERT(!__builtin_types_compatible_p(__int128, unsigned __int128));
 
 // clang doesn't have these
-#if !defined(__clang__)
+#if !defined(__clang__) && \
+    (defined(__ia64__) || defined(__x86_64__) || defined(__i386__))
 #if __GNUC__ >= 7
 STATIC_ASSERT(!__builtin_types_compatible_p(_Float32, float));
 STATIC_ASSERT(!__builtin_types_compatible_p(_Float64, double));
