[Bug c/22371] C front-end produces mis-match types in MODIFY_EXPR

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2008-03-23 15:15 -------
In gcc.dg/redecl-6.c we have the same issue (basically this is the testcase
from the description).  We end up with

  ap = &array10;

with typeof (ap) == int[5] * and the type of the rhs == int[10] *.

Note that this bug is the only one that blocks turning on middle-end type
checking for all stages (it's on for stage1 only and thus doesn't cover
the runtimes or the testsuite).

I will address this by patching up the gimplifier to insert conversions
that are required by the middle-end but not the frontend.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|jsm28 at gcc dot gnu dot org|rguenth at gcc dot gnu dot
                   |                            |org


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