[Bug c++/72764] [5/6/7 Regression] ICE on invalid C++11 code instantiating an alias template: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in typedef_variant_p, at tree.c:12660
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72764 Jakub Jelinek changed: What|Removed |Added Target Milestone|5.5 |6.5 --- Comment #9 from Jakub Jelinek --- GCC 5 branch is being closed
[Bug c++/72764] [5/6/7 Regression] ICE on invalid C++11 code instantiating an alias template: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in typedef_variant_p, at tree.c:12660
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72764 Paolo Carlini changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|paolo.carlini at oracle dot com|unassigned at gcc dot gnu.org --- Comment #7 from Paolo Carlini --- Hi Jakub. Sorry, no, no progress, I'm unassigning myself for the time being.
[Bug c++/72764] [5/6/7 Regression] ICE on invalid C++11 code instantiating an alias template: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in typedef_variant_p, at tree.c:12660
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72764 --- Comment #6 from Jakub Jelinek --- Paolo, any progress with this? The last mail on the subject is http://gcc.gnu.org/ml/gcc-patches/2017-01/msg01813.html
[Bug c++/72764] [5/6/7 Regression] ICE on invalid C++11 code instantiating an alias template: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in typedef_variant_p, at tree.c:12660
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72764 Paolo Carlini changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |paolo.carlini at oracle dot com --- Comment #5 from Paolo Carlini --- Mine.
[Bug c++/72764] [5/6/7 Regression] ICE on invalid C++11 code instantiating an alias template: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in typedef_variant_p, at tree.c:12660
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72764 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org, ||jason at gcc dot gnu.org --- Comment #4 from Jakub Jelinek --- Seems both make_typename_type and finish_decltype_type can return error_mark_node even if the arguments passed to those aren't error_mark_node (as they are called tf_none, no diagnostics is emitted). The question is what strip_typedefs should do if that happens? Shall it return error_mark_node, or the original type, something different? The end of the function assumes that result is a valid type.
[Bug c++/72764] [5/6/7 Regression] ICE on invalid C++11 code instantiating an alias template: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in typedef_variant_p, at tree.c:12660
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72764 Richard Biener changed: What|Removed |Added Priority|P3 |P2
[Bug c++/72764] [5/6/7 Regression] ICE on invalid C++11 code instantiating an alias template: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in typedef_variant_p, at tree.c:12660
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72764 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org Known to fail||4.8.2, 4.9.3, 5.3.0, 6.1.0, ||7.0 --- Comment #3 from Martin Sebor --- r191412 is the first commit that triggers the ICE: r191412 | jason | 2012-09-17 23:47:35 -0400 (Mon, 17 Sep 2012) | 4 lines PR c++/54575 * pt.c (instantiate_alias_template): New. (tsubst): Use it. (push_access_scope): Allow TYPE_DECL.