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

2008-10-16 Thread 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

2008-10-16 Thread 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=gccview=revrev=141165
Log:
2008-10-16  Joseph Myers  [EMAIL PROTECTED]
Richard Guenther  [EMAIL PROTECTED]

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

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

2008-10-08 Thread 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

2008-09-13 Thread 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

2008-09-13 Thread 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

2008-09-10 Thread 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

2008-09-10 Thread 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

2008-09-09 Thread 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

2008-09-08 Thread 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=16252action=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

2008-09-08 Thread 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

2008-09-08 Thread 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|-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