* [Bug ada/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
@ 2005-07-02 17:09 ` pinskia at gcc dot gnu dot org
2005-07-02 17:09 ` [Bug tree-optimization/22277] " pinskia at gcc dot gnu dot org
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-02 17:09 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org, pinskia at gcc dot gnu
| |dot org
GCC target triplet| |x86_64-unknown-linux-gnu
Summary|ACATS ICE cc40001 in |[4.1 Regression] ACATS ICE
|first_vi_for_offset, at |cc40001 in
|tree-ssa-structalias.c:2566 |first_vi_for_offset, at
| |tree-ssa-structalias.c:2566
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
2005-07-02 17:09 ` [Bug ada/22277] [4.1 Regression] " pinskia at gcc dot gnu dot org
@ 2005-07-02 17:09 ` pinskia at gcc dot gnu dot org
2005-07-02 17:23 ` pinskia at gcc dot gnu dot org
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-02 17:09 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Component|ada |tree-optimization
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
2005-07-02 17:09 ` [Bug ada/22277] [4.1 Regression] " pinskia at gcc dot gnu dot org
2005-07-02 17:09 ` [Bug tree-optimization/22277] " pinskia at gcc dot gnu dot org
@ 2005-07-02 17:23 ` pinskia at gcc dot gnu dot org
2005-07-04 10:10 ` pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-02 17:23 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-02 17:23 -------
Most likely related to PR 22279.
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |22279
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (2 preceding siblings ...)
2005-07-02 17:23 ` pinskia at gcc dot gnu dot org
@ 2005-07-04 10:10 ` pinskia at gcc dot gnu dot org
2005-07-04 19:15 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-04 10:10 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-04 10:10 -------
This fails the same way on powerpc-darwin which is 32bit too.
--
What |Removed |Added
----------------------------------------------------------------------------
GCC target triplet|x86_64-unknown-linux-gnu |x86_64-linux-gnu, powerpc-
| |darwin
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (3 preceding siblings ...)
2005-07-04 10:10 ` pinskia at gcc dot gnu dot org
@ 2005-07-04 19:15 ` pinskia at gcc dot gnu dot org
2005-07-08 9:35 ` pluto at agmk dot net
` (8 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-04 19:15 UTC (permalink / raw)
To: gcc-bugs
--
Bug 22277 depends on bug 22279, which changed state.
Bug 22279 Summary: [4.1 Regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2566
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22279
What |Old Value |New Value
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (4 preceding siblings ...)
2005-07-04 19:15 ` pinskia at gcc dot gnu dot org
@ 2005-07-08 9:35 ` pluto at agmk dot net
2005-07-08 12:55 ` dberlin at dberlin dot org
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pluto at agmk dot net @ 2005-07-08 9:35 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pluto at agmk dot net 2005-07-08 09:33 -------
(In reply to comment #1)
> Most likely related to PR 22279.
`first_vi_for_offset` bug still occurs and it's easy to reproduct:
[ qt4 build / gcc-20050707T1814UTC ]
(...)
g++ -c -pipe -I/usr/include/postgresql/server -I/usr/include/mysql -O2
-march=i686 -mtune=pentium4 -fvisibility=hidden -fvisibility-inlines-hidden
-D_REENTRANT -Wall -W -fPIC -DQT_CLEAN_NAMESPACE -DQT_COMPAT
-DQT_NO_CAST_TO_ASCII -DQT_NO_CAST_FROM_ASCII -DQT_NO_DEBUG -DQT_PLUGIN
-DQT_CORE_LIB -DQT_SQL_LIB -D_LARGEFILE64_SOURCE -D_LARGEFILE_SOURCE -DQT_SHARED
-I/home/users/pluto/rpm/BUILD/qt-x11-opensource-desktop-4.0.0/mkspecs/linux-g++
-I. -I../../../../include/QtSql -I../../../../include/QtCore
-I../../../../include -I.moc/release-shared -I. -o
.obj/release-shared/qsql_mysql.o ../../../sql/drivers/mysql/qsql_mysql.cpp
../../../sql/drivers/mysql/qsql_mysql.cpp: In member function 'virtual bool
QMYSQLResult::exec()':
../../../sql/drivers/mysql/qsql_mysql.cpp:685: internal compiler error: in
first_vi_for_offset, at tree-ssa-structalias.c:2585
(...)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (5 preceding siblings ...)
2005-07-08 9:35 ` pluto at agmk dot net
@ 2005-07-08 12:55 ` dberlin at dberlin dot org
2005-07-09 7:14 ` pluto at agmk dot net
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: dberlin at dberlin dot org @ 2005-07-08 12:55 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-07-08 12:54 -------
Subject: Re: [4.1 Regression] ACATS ICE
cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
On Fri, 2005-07-08 at 09:33 +0000, pluto at agmk dot net wrote:
> ------- Additional Comments From pluto at agmk dot net 2005-07-08 09:33 -------
> (In reply to comment #1)
> > Most likely related to PR 22279.
>
> `first_vi_for_offset` bug still occurs and it's easy to reproduct
There's a few bugs involved, it's just that the first_vi_for_offset is
the common place for the assert to trigger.
> :
>
> [ qt4 build / gcc-20050707T1814UTC ]
>
> (...)
> g++ -c -pipe -I/usr/include/postgresql/server -I/usr/include/mysql -O2
> -march=i686 -mtune=pentium4 -fvisibility=hidden -fvisibility-inlines-hidden
> -D_REENTRANT -Wall -W -fPIC -DQT_CLEAN_NAMESPACE -DQT_COMPAT
> -DQT_NO_CAST_TO_ASCII -DQT_NO_CAST_FROM_ASCII -DQT_NO_DEBUG -DQT_PLUGIN
> -DQT_CORE_LIB -DQT_SQL_LIB -D_LARGEFILE64_SOURCE -D_LARGEFILE_SOURCE -DQT_SHARED
> -I/home/users/pluto/rpm/BUILD/qt-x11-opensource-desktop-4.0.0/mkspecs/linux-g++
> -I. -I../../../../include/QtSql -I../../../../include/QtCore
> -I../../../../include -I.moc/release-shared -I. -o
> .obj/release-shared/qsql_mysql.o ../../../sql/drivers/mysql/qsql_mysql.cpp
> ../../../sql/drivers/mysql/qsql_mysql.cpp: In member function 'virtual bool
> QMYSQLResult::exec()':
> ../../../sql/drivers/mysql/qsql_mysql.cpp:685: internal compiler error: in
> first_vi_for_offset, at tree-ssa-structalias.c:2585
> (...)
>
>
Can you -save-temps that and attach the preprocessed source?
If so, i'll fix the bug :)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (6 preceding siblings ...)
2005-07-08 12:55 ` dberlin at dberlin dot org
@ 2005-07-09 7:14 ` pluto at agmk dot net
2005-07-09 8:44 ` pluto at agmk dot net
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pluto at agmk dot net @ 2005-07-09 7:14 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pluto at agmk dot net 2005-07-09 07:12 -------
Created an attachment (id=9234)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9234&action=view)
testcase
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (7 preceding siblings ...)
2005-07-09 7:14 ` pluto at agmk dot net
@ 2005-07-09 8:44 ` pluto at agmk dot net
2005-07-10 2:00 ` dberlin at dberlin dot org
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pluto at agmk dot net @ 2005-07-09 8:44 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pluto at agmk dot net 2005-07-09 07:14 -------
(In reply to comment #4)
> Can you -save-temps that and attach the preprocessed source?
> If so, i'll fix the bug :)
$ g++ qsql_mysql.ii -c -O1
../../../sql/drivers/mysql/qsql_mysql.cpp: In member function 'virtual bool
QMYSQLResult::exec()':
../../../sql/drivers/mysql/qsql_mysql.cpp:685: internal compiler error:
in first_vi_for_offset, at tree-ssa-structalias.c:2585
with -O0 gcc works.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (8 preceding siblings ...)
2005-07-09 8:44 ` pluto at agmk dot net
@ 2005-07-10 2:00 ` dberlin at dberlin dot org
2005-07-11 9:03 ` reichelt at gcc dot gnu dot org
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: dberlin at dberlin dot org @ 2005-07-10 2:00 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-07-10 01:59 -------
Subject: Re: [4.1 Regression] ACATS ICE
cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
On Fri, 2005-07-08 at 12:54 +0000, dberlin at dberlin dot org wrote:
> ------- Additional Comments From dberlin at gcc dot gnu dot org 2005-07-08 12:54 -------
> Subject: Re: [4.1 Regression] ACATS ICE
> cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
>
> On Fri, 2005-07-08 at 09:33 +0000, pluto at agmk dot net wrote:
> > ------- Additional Comments From pluto at agmk dot net 2005-07-08 09:33 -------
> > (In reply to comment #1)
> > > Most likely related to PR 22279.
> >
> > `first_vi_for_offset` bug still occurs and it's easy to reproduct
>
> There's a few bugs involved, it's just that the first_vi_for_offset is
> the common place for the assert to trigger.
Here is the reduced testcase for the C++ file you sent, i'm working on a
fix.
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-07-10 01:59 -------
Created an attachment (id=9236)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9236&action=view)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (9 preceding siblings ...)
2005-07-10 2:00 ` dberlin at dberlin dot org
@ 2005-07-11 9:03 ` reichelt at gcc dot gnu dot org
2005-07-11 12:57 ` dberlin at dberlin dot org
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2005-07-11 9:03 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2005-07-11 08:48 -------
More compact C++ testcase:
======================================
struct A
{
char c;
int i;
};
A a;
struct B
{
char c, d;
};
union C
{
A *p;
B *q;
C() : p(&a) {}
char& foo() { return q->d; }
};
void bar() { C().foo() = 0; }
======================================
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |reichelt at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (10 preceding siblings ...)
2005-07-11 9:03 ` reichelt at gcc dot gnu dot org
@ 2005-07-11 12:57 ` dberlin at dberlin dot org
2005-07-11 17:47 ` pinskia at gcc dot gnu dot org
2005-07-22 18:54 ` pinskia at gcc dot gnu dot org
13 siblings, 0 replies; 15+ messages in thread
From: dberlin at dberlin dot org @ 2005-07-11 12:57 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-07-11 12:33 -------
Subject: Re: [4.1 Regression] ACATS ICE
cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
On Mon, 2005-07-11 at 08:48 +0000, reichelt at gcc dot gnu dot org
wrote:
> ------- Additional Comments From reichelt at gcc dot gnu dot org 2005-07-11 08:48 -------
> More compact C++ testcase:
>
> ======================================
> struct A
> {
> char c;
> int i;
> };
>
> A a;
>
> struct B
> {
> char c, d;
> };
>
> union C
> {
> A *p;
> B *q;
>
> C() : p(&a) {}
> char& foo() { return q->d; }
> };
>
> void bar() { C().foo() = 0; }
Yes, that will work too.
Note the part that bugs me severely is that you are accessing padding in
A. :) This is true in the original testcase as well
I'm not sure whether i should bother trying to do something sane in this
case.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (11 preceding siblings ...)
2005-07-11 12:57 ` dberlin at dberlin dot org
@ 2005-07-11 17:47 ` pinskia at gcc dot gnu dot org
2005-07-22 18:54 ` pinskia at gcc dot gnu dot org
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-11 17:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-11 16:37 -------
Can people start filing new bugs as the orginal problem has been fixed now.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-07-11 16:37:19
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22277] [4.1 Regression] ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566
2005-07-02 13:06 [Bug ada/22277] New: ACATS ICE cc40001 in first_vi_for_offset, at tree-ssa-structalias.c:2566 laurent at guerby dot net
` (12 preceding siblings ...)
2005-07-11 17:47 ` pinskia at gcc dot gnu dot org
@ 2005-07-22 18:54 ` pinskia at gcc dot gnu dot org
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-22 18:54 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-22 18:53 -------
Fixed, I filed the new bug (which should have been filed seperately) as PR 22615.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22277
^ permalink raw reply [flat|nested] 15+ messages in thread