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

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

[pinskia at gcc dot gnu dot org]

------- Comment #13 from pinskia at gcc dot gnu dot org  2006-08-14 19:14 -------
(In reply to comment #9)
> Note the comparisions patch because of the way gimple removes casts to void*
> gets:
That gets fixed automatically by:
http://gcc.gnu.org/ml/gcc-patches/2006-06/msg00179.html


-- 


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

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

[fxcoudert at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1730 bytes --]



------- Comment #14 from fxcoudert at gcc dot gnu dot org  2007-05-25 13:55 -------
Rev. 124497 of mainline fails to bootstrap with these patches on i686-linux:

[during stage2]
../../../trunk3/gcc/df-scan.c: In function ‘df_ref_record’:
../../../trunk3/gcc/df-scan.c:1057: error: types mismatch in comparsion
long unsigned int

int

shifttmp.1580_150 == 0;

../../../trunk3/gcc/df-scan.c:1057: internal compiler error: verify_stmts
failed

Debugging this error yields:

Breakpoint 5, verify_expr (tp=0xb70f1b5c, walk_subtrees=0xbfa475f0, data=0x0)
    at ../../../trunk3/gcc/tree-cfg.c:3298
3298                error ("types mismatch in comparsion");
(gdb) p debug_tree(lhs)
 <ssa_name 0xb73e498c
    type <integer_type 0xb7bf1438 long unsigned int sizes-gimplified
asm_written public unsigned SI
        size <integer_cst 0xb7be1658 constant invariant 32>
        unit size <integer_cst 0xb7be1444 constant invariant 4>
        align 32 symtab -1211504504 alias set -1 canonical type 0xb7bf1438
precision 32 min <integer_cst 0xb7be16e4 0> max <integer_cst 0xb7be16c8
4294967295>
        pointer_to_this <pointer_type 0xb7a82a8c>>
    var <var_decl 0xb7b3d284 shifttmp.1580> def_stmt <gimple_modify_stmt
0xb7387214>
    version 150>
$1 = void
(gdb) p debug_tree(rhs)
 <integer_cst 0xb7be1c40 type <integer_type 0xb7bf12f4 int> constant invariant
0>
$2 = void


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org


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

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

[rguenth at gcc dot gnu dot org]

------- Comment #15 from rguenth at gcc dot gnu dot org  2007-07-13 15:56 -------
http://gcc.gnu.org/ml/gcc-patches/2007-07/msg01265.html

has some fixes for some of this PRs and a verifier.  So while we're working
on this, this is my bug.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-03-01 02:27:34         |2007-07-13 15:56:51
               date|                            |


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

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

[rguenth at gcc dot gnu dot org]

------- Comment #16 from rguenth at gcc dot gnu dot org  2007-08-24 15:57 -------
"Finished", so unassigning.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|rguenth at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


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

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

[fxcoudert at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 695 bytes --]



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


-- 


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

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

[rguenther at suse dot de]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1109 bytes --]



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

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

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #19 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-13 06:08:30 UTC ---
All bugs have been closed as fixed, so closing this meta-bug as we have
checking now.