* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
@ 2013-11-08 9:45 ` paolo.carlini at oracle dot com
2013-11-08 15:01 ` decaluwe.t at gmail dot com
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-11-08 9:45 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
Status|UNCONFIRMED |NEW
Last reconfirmed| |2013-11-08
CC|decaluwe.t at gmail dot com |
Summary|Internal compiler error |[4.8/4.9 Regression]
|triggers when accessing a |Internal compiler error
|typedef in a specialized |triggers when accessing a
|member class |typedef in a specialized
| |member class
Ever confirmed|0 |1
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
The code may be invalid however.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
2013-11-08 9:45 ` [Bug c++/59044] [4.8/4.9 Regression] " paolo.carlini at oracle dot com
@ 2013-11-08 15:01 ` decaluwe.t at gmail dot com
2013-11-08 15:19 ` paolo.carlini at oracle dot com
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: decaluwe.t at gmail dot com @ 2013-11-08 15:01 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
--- Comment #2 from Tom De Caluwé <decaluwe.t at gmail dot com> ---
As far as I can verify partial specializations are only allowed at namespace
scope so you're right. However gcc never used to complain about such
constructs.
In any case, an internal compiler error is never desired behaviour, hence the
bug report.
>From gcc-bugs-return-433948-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 08 15:13:17 2013
Return-Path: <gcc-bugs-return-433948-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20921 invoked by alias); 8 Nov 2013 15:13:17 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 20891 invoked by uid 48); 8 Nov 2013 15:13:14 -0000
From: "amylaar at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/59049] Two VOIDmode constant in comparison passed to cstoresi4
Date: Fri, 08 Nov 2013 15:13:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: amylaar at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59049-4-taukgyDDWF@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59049-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59049-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-11/txt/msg00725.txt.bz2
Content-length: 1613
http://gcc.gnu.org/bugzilla/show_bug.cgi?idY049
--- Comment #1 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> ---
Frame 12 shows that at the tree level, one of the comparison operands is an
initialized variable.
(gdb) frame 12
#12 0x083bd9fa in expand_expr_real_1 (exp=<ne_expr 0xb7b55b28>, target=0x0,
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
at ../../gcc/gcc/expr.c:10444
10444 return expand_expr_real_2 (&ops, target, tmode, modifier);
(gdb) call debug_tree(exp)
<ne_expr 0xb7b55b28
type <boolean_type 0xb7abd5a0 _Bool public unsigned QI
size <integer_cst 0xb7aaa258 constant 8>
unit size <integer_cst 0xb7aaa26c constant 1>
align 8 symtab 0 alias set -1 canonical type 0xb7abd5a0 precision 1 min
<integer_cst 0xb7aaa438 0> max <integer_cst 0xb7aaa460 1>>
arg 0 <ssa_name 0xb7b0ac58
type <integer_type 0xb7abd480 long unsigned int public unsigned SI
size <integer_cst 0xb7aaa140 constant 32>
unit size <integer_cst 0xb7aaa154 constant 4>
align 32 symtab 0 alias set -1 canonical type 0xb7abd480 precision
32 min <integer_cst 0xb7aaa3c0 0> max <integer_cst 0xb7aaa3ac 4294967295>
context <translation_unit_decl 0xb7ac3dec D.1415>
pointer_to_this <pointer_type 0xb7ac44e0>>
visited var <var_decl 0xb7b4db24 D.1483>def_stmt _10 = 3;
version 10>
arg 1 <integer_cst 0xb7b3ce4c type <integer_type 0xb7abd480 long unsigned
int> constant 3>
/home/amylaar/synopsys/synopsys-gcc-mainline/unisrc-4.8/gcc/testsuite/gcc.c-torture/execute/builtins/strlen-2.c:29:6>
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
2013-11-08 9:45 ` [Bug c++/59044] [4.8/4.9 Regression] " paolo.carlini at oracle dot com
2013-11-08 15:01 ` decaluwe.t at gmail dot com
@ 2013-11-08 15:19 ` paolo.carlini at oracle dot com
2013-11-08 15:32 ` decaluwe.t at gmail dot com
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-11-08 15:19 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Yes. It's all about prioritizing, an ICE on invalid isn't the same as an ICE on
valid, even if it's a regression.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (2 preceding siblings ...)
2013-11-08 15:19 ` paolo.carlini at oracle dot com
@ 2013-11-08 15:32 ` decaluwe.t at gmail dot com
2013-11-19 9:52 ` rguenth at gcc dot gnu.org
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: decaluwe.t at gmail dot com @ 2013-11-08 15:32 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
--- Comment #4 from Tom De Caluwé <decaluwe.t at gmail dot com> ---
However the following code seems to be valid but results in the same ICE:
/* ---- bug.cpp --------------------------------------- */
namespace N {
template <class T>
class C {
private:
template <T a, T b>
struct Implementation {};
public:
typedef typename Implementation<0, 0>::Typedef Type;
};
template <class T>
template <T b>
struct C<T>::Implementation<0, b> { typedef void Typedef; };
}
template class N::C<unsigned>;
/* ---------------------------------------------------- */
>From gcc-bugs-return-433951-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 08 15:38:37 2013
Return-Path: <gcc-bugs-return-433951-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 6623 invoked by alias); 8 Nov 2013 15:38:37 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 6606 invoked by uid 48); 8 Nov 2013 15:38:34 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
Date: Fri, 08 Nov 2013 15:38:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.8.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59044-4-iFtMFofBxV@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59044-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59044-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-11/txt/msg00728.txt.bz2
Content-length: 336
http://gcc.gnu.org/bugzilla/show_bug.cgi?idY044
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Frankly, I'm not sure either, current clang rejects it the same way, for
example. In any case, in Bugzilla we have got at least 2/3 on valid Bugs
triggering that gcc_assert, hopefully will be fixed all together.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (3 preceding siblings ...)
2013-11-08 15:32 ` decaluwe.t at gmail dot com
@ 2013-11-19 9:52 ` rguenth at gcc dot gnu.org
2013-12-05 19:15 ` jason at gcc dot gnu.org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-11-19 9:52 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.8.3
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (4 preceding siblings ...)
2013-11-19 9:52 ` rguenth at gcc dot gnu.org
@ 2013-12-05 19:15 ` jason at gcc dot gnu.org
2013-12-05 19:15 ` jason at gcc dot gnu.org
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: jason at gcc dot gnu.org @ 2013-12-05 19:15 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> ---
*** Bug 59052 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (5 preceding siblings ...)
2013-12-05 19:15 ` jason at gcc dot gnu.org
@ 2013-12-05 19:15 ` jason at gcc dot gnu.org
2013-12-05 22:46 ` jason at gcc dot gnu.org
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: jason at gcc dot gnu.org @ 2013-12-05 19:15 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |jason at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |jason at gcc dot gnu.org
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (6 preceding siblings ...)
2013-12-05 19:15 ` jason at gcc dot gnu.org
@ 2013-12-05 22:46 ` jason at gcc dot gnu.org
2013-12-05 23:28 ` jason at gcc dot gnu.org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: jason at gcc dot gnu.org @ 2013-12-05 22:46 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Dec 5 22:46:36 2013
New Revision: 205720
URL: http://gcc.gnu.org/viewcvs?rev=205720&root=gcc&view=rev
Log:
PR c++/59044
PR c++/59052
* pt.c (most_specialized_class): Use the partially instantiated
template for deduction. Drop the TMPL parameter.
Added:
trunk/gcc/testsuite/g++.dg/template/partial14.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (7 preceding siblings ...)
2013-12-05 22:46 ` jason at gcc dot gnu.org
@ 2013-12-05 23:28 ` jason at gcc dot gnu.org
2013-12-06 23:52 ` reichelt at gcc dot gnu.org
2014-01-03 3:30 ` jason at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: jason at gcc dot gnu.org @ 2013-12-05 23:28 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Dec 5 23:28:25 2013
New Revision: 205723
URL: http://gcc.gnu.org/viewcvs?rev=205723&root=gcc&view=rev
Log:
PR c++/59044
PR c++/59052
* pt.c (most_specialized_class): Use the partially instantiated
template for deduction. Drop the TMPL parameter.
Added:
branches/gcc-4_8-branch/gcc/testsuite/g++.dg/template/partial14.C
Modified:
branches/gcc-4_8-branch/gcc/cp/ChangeLog
branches/gcc-4_8-branch/gcc/cp/pt.c
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (8 preceding siblings ...)
2013-12-05 23:28 ` jason at gcc dot gnu.org
@ 2013-12-06 23:52 ` reichelt at gcc dot gnu.org
2014-01-03 3:30 ` jason at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu.org @ 2013-12-06 23:52 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
Volker Reichelt <reichelt at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |reichelt at gcc dot gnu.org
--- Comment #10 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
*** Bug 58518 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
2013-11-08 0:41 [Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class decaluwe.t at gmail dot com
` (9 preceding siblings ...)
2013-12-06 23:52 ` reichelt at gcc dot gnu.org
@ 2014-01-03 3:30 ` jason at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: jason at gcc dot gnu.org @ 2014-01-03 3:30 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59044
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #11 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.8.3.
^ permalink raw reply [flat|nested] 12+ messages in thread