This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Volatile MEMs in statement expressions and functions inlinedastrees
>>>>> "Alexandre" == Alexandre Oliva <aoliva@redhat.com> writes:
> On Dec 16, 2001, Jason Merrill <jason@redhat.com> wrote:
>> Incidentally, Alexandre wondered earlier if a STMT_EXPR should ever
>> be able to have an lvalue result. Yes, in the sense that it should
>> be able to have reference type. But I think not in the sense that
>> he meant.
> So you really think there may be good uses for code such as:
> int i;
> ({ i; }) = 1;
No, I think that since the tree inliner uses STMT_EXPRs for inline
functions, and functions can return references, we need to support
STMT_EXPRs with reference type. I don't really care what ({ i; }) means.
Jason