aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/arch/arm-predef-float-abi-mixed.c
diff options
Diffstat (limited to 'validation/arch/arm-predef-float-abi-mixed.c')
-rw-r--r--validation/arch/arm-predef-float-abi-mixed.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/validation/arch/arm-predef-float-abi-mixed.c b/validation/arch/arm-predef-float-abi-mixed.c
new file mode 100644
index 00000000..c339bf6a
--- /dev/null
+++ b/validation/arch/arm-predef-float-abi-mixed.c
@@ -0,0 +1,9 @@
+#if defined(__ARM_PCS_VFP) || defined(__SOFTFP__) || !defined(__ARM_PCS)
+#error
+#endif
+
+/*
+ * check-name: arm-predef-float-abi-mixed
+ * check-command: sparse --arch=arm -mfloat-abi=softfp $file
+ * check-known-to-fail
+ */