Martijn van Oosterhout <kleptog@svana.org> writes:
> It appears the issue is mostly that the compiler is unable to prove
> that the variables aren't changed.
IME, older versions of gcc will warn about any variable that's assigned
more than once, even if those assignments are before the setjmp call.
Presumably this is stricter than necessary, but I don't know enough
details of gcc's register usage to be sure.
> My point is, are we hopeful this problem will ever go away?
Since we're trying to silence the warning in existing and even obsolete
compilers, whether it gets improved in future compilers is not terribly
relevant.
regards, tom lane