Hi Harald,
It appears that something is not right and generates wrong code with
the check enabled. Can you have another look?
The problem was indeed that generating a formal from an actual
arglist is a bad idea when classes are involved. Fixed in the
attached patch. I think it still makes sense to remove the checks
when the other attributes are present (or PR96073 may come back
in different guise, even if I have to test case at present).
this is probably the best solution. So let's go with it.
I have also converted the test to a run-time check.
Ok for trunk and backport to gcc-15?
OK for both. Thanks for the patch!
Committed as r16-423-ge7a2b8b76ae0c8f1e49c780aa82ebb5f0325f515 so
far, will commit to gcc-15 in a few days.
Thanks for the review!
Best regards
Thomas