aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/arch/arm-predef-float-abi-mixed.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-02-17 23:26:13 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-27 00:18:45 +0100
commit532f662121d79ef50408cd4f67d0d379e55c2fa8 (patch)
treed9767294b5886a8cba93311ce6e459f0faad09bc /validation/arch/arm-predef-float-abi-mixed.c
parent16df5da6daa81ee91fda2fe7316fab7d966c1ec7 (diff)
downloadsparse-dev-532f662121d79ef50408cd4f67d0d379e55c2fa8.tar.gz
fp-abi: teach sparse about -mfloat-abi on ARM
Teach sparse about the -mfloat-abi option and set the related predefines for ARM accordingly. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/arch/arm-predef-float-abi-mixed.c')
-rw-r--r--validation/arch/arm-predef-float-abi-mixed.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/arch/arm-predef-float-abi-mixed.c b/validation/arch/arm-predef-float-abi-mixed.c
index c339bf6a..b401de35 100644
--- a/validation/arch/arm-predef-float-abi-mixed.c
+++ b/validation/arch/arm-predef-float-abi-mixed.c
@@ -5,5 +5,4 @@
/*
* check-name: arm-predef-float-abi-mixed
* check-command: sparse --arch=arm -mfloat-abi=softfp $file
- * check-known-to-fail
*/