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.