Richard Kenner wrote: >> I did investigate the case you described, where two function parameters >> are calls to the same function returning a structure. The front-end >> generates temporaries to handle this, and so the middle-end-generated >> temporaries are still restricted to a lifetime of a single statement.
> Neverthless, it may be that gimplification renders this OBE. If so, > then I suspect a that *a lot* of the temporary lifetime tracking code is > also no longer needed. But I wouldn't want to jump to any of these > conclusions too quickly: this stuff is very complex. OK, thanks. If you have any suggestions on other approaches to verifying this, I'd certainly appreciate it. - Josh
