On Thu, Nov 18, 2021 at 06:45:42PM -0500, David Malcolm wrote: > On Thu, 2021-11-18 at 14:08 -0600, Segher Boessenkool wrote: > > We need some way to describe these things in Gimple and RTL as well, > > and not just on function calls: also on other expressions. Adding > > attributes that allow to describe this (partially, only per function) > > in > > C source code does not bring us closer to where we need to be. > > Right, but those IR concerns are orthogonal to the needs of the patch > kit, which is a way to express certain *other* things per-function in > the C frontend.
My fear is that such band-aids will only make attacking the long standing hard problems even harder. > As noted in my other replies, this thread seems to be turning into > something of a scope-creep pile-on, when I have some specific things I > need for the rest of the patch kit, and they're unrelated to the > problems of errno or floating-point handling. I am just asking to think about the broader picture, and see how this fits in there. Segher
