diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-02-17 23:32:26 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-27 00:19:13 +0100 |
commit | 7729ee4a86e12faad87be34479a684bd9d794384 (patch) | |
tree | 9b43ff7f2a09a7c9e827679bcb7848442d9b5efa | |
parent | 532f662121d79ef50408cd4f67d0d379e55c2fa8 (diff) | |
download | sparse-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>
-rw-r--r-- | lib.c | 2 | ||||
-rw-r--r-- | validation/arch/arm-predef-hard-float.c | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -702,6 +702,8 @@ static const struct flag mflags[] = { { "little-endian", &arch_big_endian, NULL, OPT_INVERSE }, { "cmodel", &arch_cmodel, handle_cmodel }, { "float-abi", &arch_fp_abi, handle_float_abi }, + { "hard-float", &arch_fp_abi, NULL, OPT_VAL, FP_ABI_HARD }, + { "soft-float", &arch_fp_abi, NULL, OPT_VAL, FP_ABI_SOFT }, { } }; 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 */ |