diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-27 00:25:14 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-27 00:25:14 +0100 |
| commit | dbcc589f4577ebb0d6d05e36e2ac1246b56555ed (patch) | |
| tree | b6c2d381e8b144e67aa8002ab9a1c3fe5a0c98dd /validation | |
| parent | 50438f45934d885aa00b126dd9359895e05fd056 (diff) | |
| parent | fd59a5e8d5aca68c417e9d4e19b7df5d99e9c570 (diff) | |
| download | sparse-dev-dbcc589f4577ebb0d6d05e36e2ac1246b56555ed.tar.gz | |
Merge branch 'arm-hf' into master
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/arch/arm-predef-float-abi-hard.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-float-abi-mixed.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-float-abi-soft.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-hard-float.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-soft-float.c | 8 |
5 files changed, 40 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..b5ad32f2 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-hard.c @@ -0,0 +1,8 @@ +#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 + */ 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..b401de35 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-mixed.c @@ -0,0 +1,8 @@ +#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 + */ diff --git a/validation/arch/arm-predef-float-abi-soft.c b/validation/arch/arm-predef-float-abi-soft.c new file mode 100644 index 00000000..ee5accd1 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-soft.c @@ -0,0 +1,8 @@ +#if defined(__ARM_PCS_VFP) || !defined(__SOFTFP__) || !defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-float-abi-soft + * check-command: sparse --arch=arm -mfloat-abi=soft $file + */ diff --git a/validation/arch/arm-predef-hard-float.c b/validation/arch/arm-predef-hard-float.c new file mode 100644 index 00000000..72c748f0 --- /dev/null +++ b/validation/arch/arm-predef-hard-float.c @@ -0,0 +1,8 @@ +#if !defined(__ARM_PCS_VFP) || defined(__SOFTFP__) || defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-hard-float + * check-command: sparse --arch=arm -mhard-float $file + */ diff --git a/validation/arch/arm-predef-soft-float.c b/validation/arch/arm-predef-soft-float.c new file mode 100644 index 00000000..c25a5f1d --- /dev/null +++ b/validation/arch/arm-predef-soft-float.c @@ -0,0 +1,8 @@ +#if defined(__ARM_PCS_VFP) || !defined(__SOFTFP__) || !defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-soft-float + * check-command: sparse --arch=arm -msoft-float $file + */ |