This didn't show up in my inbox for some reason, so sorry for awkward reply:
Can you do this? { dg-additional-options "-fPIE" { target pie } } It looks good to me if that works fine.
This didn't show up in my inbox for some reason, so sorry for awkward reply:
Can you do this? { dg-additional-options "-fPIE" { target pie } } It looks good to me if that works fine.