[Bug other/22368] New: [meta-bugs] mis-match types in GCC

[Bug other/22368] New: [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

This is a meta bug for all of the mis-match type bugs in GCC.

-- 
           Summary: [meta-bugs] mis-match types in GCC
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: meta-bug
          Severity: normal
          Priority: P2
         Component: other
        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=22368

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22328


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22356
  BugsThisDependsOn|                            |22358


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-08 15:31:26
               date|                            |


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22369


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22329
  BugsThisDependsOn|                            |22335


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22370


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22371


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22372


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22373


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22374


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22375


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 22356, which changed state.

Bug 22356 Summary: mis-match types in cplxlower
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22356

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 22329, which changed state.

Bug 22329 Summary: VRP produces mis-matched (non compatible) types in MODIFY_EXPR
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22329

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22381


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22383


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22418


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22420


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 22335, which changed state.

Bug 22335 Summary: DOM creates mis-matched types
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22335

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 17:04 -------
I should note that you can now bootstrap C with the patch.  But still some testsuite regressions in the 
testsuite which have been filed already.

-- 


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 17:25 -------
(In reply to comment #2)
> I should note that you can now bootstrap C with the patch.  But still some testsuite regressions in the 
> testsuite which have been filed already.

With the patch in PR 22358 we can now bootstrap with C++ enabled too.  Though there are many 
regressions which have been filed except for failing to compile testsuite_abi.cc which have not been 
filed/reduced yet but that might not be a C++ specific problem:
/Users/pinskia/src/local/gcc/objdir/powerpc-apple-darwin7.9.0/libstdc++-v3/include/ext/
hashtable.h:793: error: statement types mismatch^M
D.45260_261 = __pD.71381_212;^M
^M
struct pair<const std::basic_string<char, std::char_traits<char>, std::allocator<char> 
>,symbol>D.39168 &^M
voidD.34 *^M
/Users/pinskia/src/local/gcc/objdir/powerpc-apple-darwin7.9.0/libstdc++-v3/include/ext/
hashtable.h:793: internal compiler error: verify_stmts failed^M
Please submit a full bug report,^M
with preprocessed source if appropriate.^M
See <URL:http://gcc.gnu.org/bugs.html> for instructions.^M

-- 


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 17:33 -------
(In reply to comment #3)
> (In reply to comment #2)
> > I should note that you can now bootstrap C with the patch.  But still some testsuite regressions in 
the 
> > testsuite which have been filed already.
> 
> With the patch in PR 22358 we can now bootstrap with C++ enabled too.  Though there are many 
> regressions which have been filed except for failing to compile testsuite_abi.cc which have not been 
> filed/reduced yet but that might not be a C++ specific problem:
yes this is the same as PR 21840.


-- 


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 21840, which changed state.

Bug 21840 Summary: [4.1 Regression] ICE while building Linux kernel (seg fault), missing cast
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21840

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22451


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22460


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-13 14:16 -------
Note fixing all of these issues and we can remove the "hack" in may_propagate_copy which right now 
says:
  /* FIXME.  GIMPLE is allowing pointer assignments and comparisons of
     pointers that have different alias sets.  This means that these
     pointers will have different memory tags associated to them.

     If we allow copy propagation in these cases, statements de-referencing
     the new pointer will now have a reference to a different memory tag
     with potentially incorrect SSA information.

     This was showing up in libjava/java/util/zip/ZipFile.java with code
     like:

        struct java.io.BufferedInputStream *T.660;
        struct java.io.BufferedInputStream *T.647;
        struct java.io.InputStream *is;
        struct java.io.InputStream *is.662;
        [ ... ]
        T.660 = T.647;
        is = T.660;     <-- This ought to be type-casted
        is.662 = is;

     Also, f/name.c exposed a similar problem with a COND_EXPR predicate
     that was causing DOM to generate and equivalence with two pointers of
     alias-incompatible types:

        struct _ffename_space *n;
        struct _ffename *ns; 
        [ ... ]
        if (n == ns)
          goto lab;
        ...
        lab:
        return n;
   
     I think that GIMPLE should emit the appropriate type-casts.  For the
     time being, blocking copy-propagation in these cases is the safe thing
     to do.  */


-- 


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-13 14:19 -------
Note I think I already fixed the DOM problem in PR 22335.

-- 


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-13 20:06 -------
Even though PR 22398 is not caught by my patch it is caught later by VRP.  I will add a patch to catch 
mismatch in comparisons.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22398


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22474


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22487


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22494


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 22398, which changed state.

Bug 22398 Summary: [4.1 Regression] ICE in compare_values, at tree-vrp.c:445
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22398

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22524


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22525


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22526


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22527


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-17 17:33 -------
Note the comparisions patch because of the way gimple removes casts to void* gets:
int f(int *a, char*b)
{
  return ((void*)a) == ((void*)b);
}

wrong.
The following is also effected:
g++.dg/abi/vbase13.C:
g++.dg/expr/cond1.C
g++.old-deja/g++.abi/primary.C

I have to figure out how to handle that.  Maybe in tree_ssa_useless_type_conversion_1 remove the 
special case for void*.



-- 


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 22358, which changed state.

Bug 22358 Summary: C++ front-end produces mis-match types in MODIFY_EXPR
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22358

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 22460, which changed state.

Bug 22460 Summary: GCJ produces mis-match (non compatible) types in MODIFY_EXPR (from byte-code)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22460

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23145


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23166


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 22526, which changed state.

Bug 22526 Summary: vectorizer produces mis-match types in conditionals
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22526

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23314


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23315


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 23314, which changed state.

Bug 23314 Summary: java produces mismatch types in MODIFY_EXPR
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23314

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 23315, which changed state.

Bug 23315 Summary: java produces mismatch types in MODIFY_EXPR, down cast
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23315

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED

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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |23329
              nThis|                            |


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-11 17:06 -------
(In reply to comment #6)
> Note I think I already fixed the DOM problem in PR 22335.

And now the java front-end bug has been fixed, maybe I should go ahead and test a patch to remove 
the hack from may_propagate_copy.

I also filed PR 23329 for the removal of the hack.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|23329                       |
              nThis|                            |


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23347


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[kazu at gcc dot gnu dot org]

-- 
Bug 22368 depends on bug 23960, which changed state.

Bug 23960 Summary: [4.1 regression] ICE in compare_values in VRP
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23960

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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