On 16.06.2023 12:22, Olaf Hering wrote: > Fri, 16 Jun 2023 12:07:20 +0200 Jan Beulich <[email protected]>: > >> ... you're removing the line that's actually verifying this is the case. > > Yeah, because it disappeared. I think the other approach is to teach > the python tool about __attribute__(()). > > Let me know which way is preferred.
For the moment neither, I'm afraid. I don't know about other maintainers, but I at least would first like to see the gain. And if there is agreement that that's worth it, we could then try to determine what price we're willing to pay. Jan
