> I'm convinced that if check_effective_target_xxx exists then it is > called and the test directive works as intended.
Hmmm... how did you prove this? I tried putting verbose in them, nothing printed. I tried reversing them, no change in test results.