Hi Christophe,
> +/* { dg-skip-if "do not override -mfloat-abi" { *-*-* } { "-mfloat-abi=*" }
> {"-mfloat-abi=soft" } } */
> Does this mean the test would be skipped if one forces
> -mfloat-abi=softfp and not if one uses -mfloat-abi=soft ?Yes it seems it is. No idea why the testsuite is so broken, obviously option overrides should be added before the test-specific options are appended. Due to this bug there are hundreds of these skip-if required in the Arm testsuite alone. Cheers, Wilco
