* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
@ 2010-12-01 23:02 ` zsojka at seznam dot cz
2010-12-01 23:09 ` steven at gcc dot gnu.org
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: zsojka at seznam dot cz @ 2010-12-01 23:02 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
Zdenek Sojka <zsojka at seznam dot cz> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> 2010-12-01 23:02:46 UTC ---
It crashes with -std=legacy as well:
$ gfortran -O pr46755.f -std=legacy
pr46755.f: In function 'MAIN__':
pr46755.f:28:0: internal compiler error: in calc_dfs_tree, at dominance.c:395
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
2010-12-01 23:02 ` [Bug rtl-optimization/46755] " zsojka at seznam dot cz
@ 2010-12-01 23:09 ` steven at gcc dot gnu.org
2010-12-03 8:25 ` zsojka at seznam dot cz
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-01 23:09 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
Steven Bosscher <steven at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2010.12.01 23:09:35
CC| |steven at gcc dot gnu.org
AssignedTo|unassigned at gcc dot |steven at gcc dot gnu.org
|gnu.org |
Ever Confirmed|0 |1
--- Comment #2 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-01 23:09:35 UTC ---
Weird but technically valid code. I'll investigate.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
2010-12-01 23:02 ` [Bug rtl-optimization/46755] " zsojka at seznam dot cz
2010-12-01 23:09 ` steven at gcc dot gnu.org
@ 2010-12-03 8:25 ` zsojka at seznam dot cz
2010-12-17 20:40 ` steven at gcc dot gnu.org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: zsojka at seznam dot cz @ 2010-12-03 8:25 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> 2010-12-03 08:25:50 UTC ---
PR46465 might be related, it has the same backtrace and uses computed gotos as
well.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
` (2 preceding siblings ...)
2010-12-03 8:25 ` zsojka at seznam dot cz
@ 2010-12-17 20:40 ` steven at gcc dot gnu.org
2010-12-21 14:55 ` steven at gcc dot gnu.org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-17 20:40 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-17 20:40:20 UTC ---
*** Bug 46465 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
` (3 preceding siblings ...)
2010-12-17 20:40 ` steven at gcc dot gnu.org
@ 2010-12-21 14:55 ` steven at gcc dot gnu.org
2010-12-21 20:17 ` jakub at gcc dot gnu.org
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-21 14:55 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-21 14:55:43 UTC ---
Author: steven
Date: Tue Dec 21 14:55:41 2010
New Revision: 168118
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168118
Log:
gcc/
PR rtl-optimization/46755
* ira.c (ira): If some dead edges were removed, find and delete
any blocks that might have become unreachable.
testsuite/
PR rtl-optimization/46755
* gfortran.dg/pr46755.f: New test
Added:
trunk/gcc/testsuite/gfortran.dg/pr46755.f
Modified:
trunk/gcc/ChangeLog
trunk/gcc/ira.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
` (4 preceding siblings ...)
2010-12-21 14:55 ` steven at gcc dot gnu.org
@ 2010-12-21 20:17 ` jakub at gcc dot gnu.org
2010-12-21 20:55 ` steven at gcc dot gnu.org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-12-21 20:17 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-21 20:17:06 UTC ---
dg-options misses -std=legacy, so it diagnoses deleted features and thus the
testcase fails.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
` (5 preceding siblings ...)
2010-12-21 20:17 ` jakub at gcc dot gnu.org
@ 2010-12-21 20:55 ` steven at gcc dot gnu.org
2011-01-02 20:48 ` regehr at cs dot utah.edu
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-21 20:55 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
--- Comment #7 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-21 20:55:26 UTC ---
No, the test case I had in testsuite had the dg-warning markers of the original
test case.
I will fix my commit. This isn't my day today, I also managed to forget
committing ChangeLogs for another bug fix...
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
` (6 preceding siblings ...)
2010-12-21 20:55 ` steven at gcc dot gnu.org
@ 2011-01-02 20:48 ` regehr at cs dot utah.edu
2011-01-02 23:13 ` hjl.tools at gmail dot com
2011-01-03 10:19 ` jakub at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: regehr at cs dot utah.edu @ 2011-01-02 20:48 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
John Regehr <regehr at cs dot utah.edu> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |regehr at cs dot utah.edu
--- Comment #8 from John Regehr <regehr at cs dot utah.edu> 2011-01-02 20:48:22 UTC ---
Not sure if this is still useful, but here's a fairly small failure-inducing
testcase for this bug for today's GCC.
[regehr@gamow tmp437]$ current-gcc -O2 -c small.c
small.c: In function 'func':
small.c:32:1: internal compiler error: in calc_dfs_tree, at dominance.c:395
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[regehr@gamow tmp437]$ current-gcc -v
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r168402-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r168402-install
--program-prefix=r168402- --enable-languages=c,c++
Thread model: posix
gcc version 4.6.0 20110102 (experimental) (GCC)
[regehr@gamow tmp437]$ cat small.c
static int
foo (int si1, short si2)
{
return ((si1 ^ si2) & ((si1 ^ (si1 ^ si2) & ~2147483647) - si2 ^ si2)) <
0 ? si1 : si1 - si2;
}
struct S0
{
const unsigned f3:1;
const unsigned f8:1;
};
struct S0 g_111 = {
1
};
struct S0 g_139 = {
1
};
unsigned long int g_22;
void safe (int);
int func_42 (void);
void func (void)
{
safe (foo (func_42 () != (g_139.f3 | g_111.f8), -1L));
for (g_22 = 0; g_22; g_22 = 1)
{
}
}
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
` (7 preceding siblings ...)
2011-01-02 20:48 ` regehr at cs dot utah.edu
@ 2011-01-02 23:13 ` hjl.tools at gmail dot com
2011-01-03 10:19 ` jakub at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: hjl.tools at gmail dot com @ 2011-01-02 23:13 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
--- Comment #9 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-02 23:12:46 UTC ---
(In reply to comment #8)
> Not sure if this is still useful, but here's a fairly small failure-inducing
> testcase for this bug for today's GCC.
>
> [regehr@gamow tmp437]$ current-gcc -O2 -c small.c
>
> small.c: In function 'func':
> small.c:32:1: internal compiler error: in calc_dfs_tree, at dominance.c:395
> Please submit a full bug report,
> with preprocessed source if appropriate.
> See <http://gcc.gnu.org/bugs.html> for instructions.
>
> [regehr@gamow tmp437]$ current-gcc -v
>
> Using built-in specs.
> COLLECT_GCC=current-gcc
> COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r168402-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
> Target: x86_64-unknown-linux-gnu
> Configured with: ../configure --with-libelf=/usr/local --enable-lto
> --prefix=/home/regehr/z/compiler-install/gcc-r168402-install
> --program-prefix=r168402- --enable-languages=c,c++
> Thread model: posix
> gcc version 4.6.0 20110102 (experimental) (GCC)
>
> [regehr@gamow tmp437]$ cat small.c
>
>
> static int
> foo (int si1, short si2)
> {
> return ((si1 ^ si2) & ((si1 ^ (si1 ^ si2) & ~2147483647) - si2 ^ si2)) <
> 0 ? si1 : si1 - si2;
> }
>
> struct S0
> {
> const unsigned f3:1;
> const unsigned f8:1;
> };
> struct S0 g_111 = {
> 1
> };
>
> struct S0 g_139 = {
> 1
> };
>
> unsigned long int g_22;
>
> void safe (int);
> int func_42 (void);
>
> void func (void)
> {
> safe (foo (func_42 () != (g_139.f3 | g_111.f8), -1L));
> for (g_22 = 0; g_22; g_22 = 1)
> {
> }
> }
This is caused by revision 164431:
http://gcc.gnu.org/ml/gcc-cvs/2010-09/msg00727.html
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug rtl-optimization/46755] ICE: in calc_dfs_tree, at dominance.c:395 with -O
2010-12-01 22:46 [Bug rtl-optimization/46755] New: ICE: in calc_dfs_tree, at dominance.c:395 with -O zsojka at seznam dot cz
` (8 preceding siblings ...)
2011-01-02 23:13 ` hjl.tools at gmail dot com
@ 2011-01-03 10:19 ` jakub at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: jakub at gcc dot gnu.org @ 2011-01-03 10:19 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46755
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-03 10:19:08 UTC ---
The #c6 issue has been fixed by
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168167
For #c8 issue a new PR, PR47157, has been created.
^ permalink raw reply [flat|nested] 11+ messages in thread