aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/arch
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-02-17 23:32:26 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-27 00:19:13 +0100
commit7729ee4a86e12faad87be34479a684bd9d794384 (patch)
tree9b43ff7f2a09a7c9e827679bcb7848442d9b5efa /validation/arch
parent532f662121d79ef50408cd4f67d0d379e55c2fa8 (diff)
downloadsparse-dev-7729ee4a86e12faad87be34479a684bd9d794384.tar.gz
fp-abi: teach sparse about -m{hard,soft}-float
Teach Sparse about these options. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/arch')
-rw-r--r--validation/arch/arm-predef-hard-float.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/arch/arm-predef-hard-float.c b/validation/arch/arm-predef-hard-float.c
index 8aeb5d42..72c748f0 100644
--- a/validation/arch/arm-predef-hard-float.c
+++ b/validation/arch/arm-predef-hard-float.c
@@ -5,5 +5,4 @@
/*
* check-name: arm-predef-hard-float
* check-command: sparse --arch=arm -mhard-float $file
- * check-known-to-fail
*/