Hi Christian,
That works in my local tests. Are you OK with it ?yeah, I checked that it tests the attribute in my configuration as well. just to make things less obfuscated, What about /* { dg-additional-options "-mfpu=fp-armv8 } */ instead, eventually with a selector for armv7-a. just an idea, I let you choose
I tried that - it does not work. :-( If you put dg-additional-options after a dg-add-options you loose the dg-add-options...
I'll check in the updated patch. Cheers Nick
