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

["rguenther at suse dot de" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #18 from rguenther at suse dot de  2007-11-02 14:22 -------
Subject: Re:  [meta-bug] mis-match types in GCC

On Fri, 2 Nov 2007, fxcoudert at gcc dot gnu dot org wrote:

> ------- Comment #17 from fxcoudert at gcc dot gnu dot org  2007-11-02 14:16 -------
> I was willing to check the current state of the Fortran failures (PR28722). I
> have thus applied these patches to current trunk, and bootstrap fails due to:
> 
> $ cat foo.i
> char * getc_unlocked (char *foo) { return foo++; }
> $ ../prev-gcc/cc1 -fpreprocessed foo.i -quiet
> foo.i: In function ?getc_unlocked?:
> foo.i:1:1: error: types mismatch in comparsion
> char *
> 
> long unsigned int
> 
> foo + 1;
> 
> foo.i:1:1: internal compiler error: verify_stmts failed
> 
> 
> (In the patches, tree_ssa_useless_type_conversion_1 needs to be changed into
> useless_type_conversion_p)

I think all these patches are way out-of-date.  If the fortran FE still
produces mismatched trees (as PR28722 suggests), those should be catched
by --enable-checking=yes,types.

Richard.


-- 


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