[Bug optimization/13049] New: Does not warn on obious aliasing problem

[pinskia at gcc dot gnu dot org]

The following code should warn as there is an aliasing problem in the code (derived from gcc in 
SPEC, yes that old code):
struct tt
{
        struct
        {
          short i;
          short j;
        }t;
};
void t(struct tt *i)
{
  ((int*)i)[0] = 0;
  i->t.j = 2;
}

-- 
           Summary: Does not warn on obious aliasing problem
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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