On Tue, 8 Apr 2014, Marek Polacek wrote:

> This patch doesn't catch cases like ({ A:0; }); &&A;, in that case the
> behavior is just undefined.

Those cases can produce link failures just like the cases where the 
address is taken before the statement expression, so I think they need 
errors as well.

int
main ()
{
  1 || ({ A: 0; });
  void *L[] = { &&A };
}

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to