diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-02-23 23:50:22 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-27 00:15:24 +0100 |
| commit | 16df5da6daa81ee91fda2fe7316fab7d966c1ec7 (patch) | |
| tree | 3a61817080b1b2d7056e4e13b918dd8dbfe18da8 /validation/arch/arm-predef-float-abi-hard.c | |
| parent | ec743e7f666b2a49a4c9cda901b25006170c5416 (diff) | |
| download | sparse-dev-16df5da6daa81ee91fda2fe7316fab7d966c1ec7.tar.gz | |
fp-abi: add tests for ARM's -mfloat-abi=... & -msoft-float
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/arch/arm-predef-float-abi-hard.c')
| -rw-r--r-- | validation/arch/arm-predef-float-abi-hard.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/validation/arch/arm-predef-float-abi-hard.c b/validation/arch/arm-predef-float-abi-hard.c new file mode 100644 index 00000000..73e89e84 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-hard.c @@ -0,0 +1,9 @@ +#if !defined(__ARM_PCS_VFP) || defined(__SOFTFP__) || defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-float-abi-hard + * check-command: sparse --arch=arm -mfloat-abi=hard $file + * check-known-to-fail + */ |