Description: pass through the __ARM_PCS_VFP define on armhf
Author: Adam Conrad <adconrad@ubuntu.com>
Forwarded: no

--- cbmc-4.2.orig/src/ansi-c/c_preprocess.cpp
+++ cbmc-4.2/src/ansi-c/c_preprocess.cpp
@@ -590,6 +590,9 @@ bool c_preprocess_gcc(
 #ifdef __s390x__
     command+=" -D__s390x__";
 #endif
+#ifdef __ARM_PCS_VFP
+    command+=" -D__ARM_PCS_VFP";
+#endif
     
     // Tell the system library which standards we support.
     // these are not gcc-default!
