[Bug c/29126] New: Failure to diagnose violation of constraint 6.7.5.2p2

[neil at gcc dot gnu dot org]

In 3.3.3 and GCC svn as of June.  Unbuildable since then.

int f (unsigned int m)
{
  extern int (*b)[m];

  return (*b)[0];
}


-- 
           Summary: Failure to diagnose violation of constraint 6.7.5.2p2
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: neil at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29126