[Bug middle-end/37418] New: [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[Bug middle-end/37418] New: [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[tbm at cyrius dot com]

With current trunk (revision 140100):


(sid)1092:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/gcc -c dovecot-failures.i
failures.c: In function 'i_set_panic_handler':
failures.c:242: error: type mismatch in address expression
void (*<T678>) (const char *, struct  *)

void (*<Tab6>) (const char *, struct  *)

callback = default_panic_handler;

failures.c:242: internal compiler error: verify_gimple failed
Please submit a full bug report,


-- 
           Summary: [4.4 Regression] error: type mismatch in address
                    expression, verify_gimple failed
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2008-09-08 08:53 -------
Created an attachment (id=16252)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16252&action=view)
Preprocessed code


-- 


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-09-08 20:38 -------
Reducing ...


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.4 Regression] error: type|[4.4 Regression] error: type
                   |mismatch in address         |mismatch in address
                   |expression, verify_gimple   |expression, verify_gimple
                   |failed                      |failed


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-09-08 20:44 -------
Reduced testcase:
typedef void failure_callback_t(int);
void default_panic_handler(int args)__attribute__((noreturn));
void i_set_panic_handler(failure_callback_t *callback
__attribute__((noreturn)))
{
  callback = default_panic_handler;
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2008-09-08 20:44:49
               date|                            |
   Target Milestone|---                         |4.4.0


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2008-09-10 06:45 -------
This is IMHO a C FE bug (works with C++ just fine and the MODIFY_EXPR with
non-useless type conversion between LHS and RHS type is created by the C FE).


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2008-09-10 19:43 -------
*** Bug 37467 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mariah dot lenox at gmail
                   |                            |dot com


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[jsm28 at gcc dot gnu dot org]

------- Comment #6 from jsm28 at gcc dot gnu dot org  2008-09-13 18:59 -------
Working on a patch.  It's not a MODIFY_EXPR but an ADDR_EXPR with problematic
conversion.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jsm28 at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-09-08 20:44:49         |2008-09-13 18:59:07
               date|                            |


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2008-09-13 19:59 -------
*** Bug 37510 has been marked as a duplicate of this bug. ***


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2008-10-08 15:59 -------
Looks like I taked over ...


-- 

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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2008-10-16 08:20 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/37418] [4.4 Regression] error: type mismatch in address expression, verify_gimple failed

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2008-10-16 08:21 -------
Subject: Bug 37418

Author: rguenth
Date: Thu Oct 16 08:19:49 2008
New Revision: 141165

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141165
Log:
2008-10-16  Joseph Myers  <joseph@codesourcery.com>
        Richard Guenther  <rguenther@suse.de>

        PR middle-end/37418
        * tree-ssa.c (useless_type_conversion_p_1): Do not treat
        volatile qualified functions or methods as relevant.

        * gcc.c-torture/compile/pr37418-1.c,
        gcc.c-torture/compile/pr37418-2.c,
        gcc.c-torture/compile/pr37418-3.c,
        gcc.c-torture/compile/pr37418-4.c: New tests.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr37418-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr37418-2.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr37418-3.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr37418-4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa.c


-- 


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