On Tue, Aug 18, 2020 at 12:03 PM H. Peter Anvin <hpa@xxxxxxxxx> wrote: > > I'm not saying "change the semantics", nor am I saying that playing > whack-a-mole *for a limited time* is unreasonable. Ah, ok then. Sorry I mischaracterized your position. > But I would like to go back > to the compiler authors and get them to implement such a #pragma: "this > freestanding implementation *does* support *this specific library function*, > and you are free to call it." I think the first thing that would be helpful is some more detailed write up of the problem statement, and analysis of why the current provided tools are close but not enough. Maybe filing a Clang bug would be helpful to get more feedback from additional toolchain folks than just me (https://bugs.llvm.org/enter_bug.cgi?product=clang "new bug" component). Alternatively, if you're planning on attending plumbers next week, I plan to propose a "kernel toolchain" mailing list for folks with whatever background to discuss future GNU C extensions and how they might be used in kernel development. That might be more appropriate than a Clang bug, but it doesn't exist yet, and feedback might be that it's a terrible idea for some reason. > The only way we can get what we really need from > the compilers is by speaking up and requesting it, and we have done so very > successfully recently; further back we tended to get a lot of > language-lawyering, but these days both the gcc and the clang teams have been > wonderfully responsive. Just trying to avoid the shoe, again. I'd really like to get to the point where we can untangle putting out fires from implementing feature requests though. -- Thanks, ~Nick Desaulniers