------- 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
