[Bug c++/88184] [9 Regression] ICE on (invalid) C++ code when compiled with -std=c++2a: unexpected expression ‘f’ of kind template_id_expr

2018-12-04 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88184

Marek Polacek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #6 from Marek Polacek  ---
Fixed.

[Bug c++/88184] [9 Regression] ICE on (invalid) C++ code when compiled with -std=c++2a: unexpected expression ‘f’ of kind template_id_expr

2018-12-04 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88184

--- Comment #5 from Marek Polacek  ---
Author: mpolacek
Date: Tue Dec  4 19:28:27 2018
New Revision: 266793

URL: https://gcc.gnu.org/viewcvs?rev=266793=gcc=rev
Log:
PR c++/88184 - ICE when treating name as template-name.
* pt.c (lookup_template_function): Always build the TEMPLATE_ID_EXPR
with unknown_type_node.

* g++.dg/cpp2a/fn-template17.C: New test.
* g++.dg/cpp2a/fn-template18.C: New test.

Added:
trunk/gcc/testsuite/g++.dg/cpp2a/fn-template17.C
trunk/gcc/testsuite/g++.dg/cpp2a/fn-template18.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
trunk/gcc/testsuite/ChangeLog

[Bug c++/88184] [9 Regression] ICE on (invalid) C++ code when compiled with -std=c++2a: unexpected expression ‘f’ of kind template_id_expr

2018-11-27 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88184

--- Comment #4 from Marek Polacek  ---
-fchecking=2 is the answer.

[Bug c++/88184] [9 Regression] ICE on (invalid) C++ code when compiled with -std=c++2a: unexpected expression ‘f’ of kind template_id_expr

2018-11-27 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88184

--- Comment #3 from Marek Polacek  ---
FWIW, I'm still unable to reproduce.  Tried (non-)bootstrap + (non-)checking
builds but I get the output in Comment 2.

[Bug c++/88184] [9 Regression] ICE on (invalid) C++ code when compiled with -std=c++2a: unexpected expression ‘f’ of kind template_id_expr

2018-11-26 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88184

--- Comment #2 from Marek Polacek  ---
Interesting that on both my computers I see

$ ./cc1plus -quiet 88184.C -std=c++2a
88184.C: In function ‘void g()’:
88184.C:10:12: error: no matching function for call to ‘f()’
   10 |   f < T > ();
  |^


(No local patches applied.)

[Bug c++/88184] [9 Regression] ICE on (invalid) C++ code when compiled with -std=c++2a: unexpected expression ‘f’ of kind template_id_expr

2018-11-26 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88184

Marek Polacek  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |mpolacek at gcc dot 
gnu.org

[Bug c++/88184] [9 Regression] ICE on (invalid) C++ code when compiled with -std=c++2a: unexpected expression ‘f’ of kind template_id_expr

2018-11-26 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88184

Jakub Jelinek  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-11-26
 CC||jakub at gcc dot gnu.org,
   ||mpolacek at gcc dot gnu.org
   Target Milestone|--- |9.0
Summary|ICE on (invalid) C++ code   |[9 Regression] ICE on
   |when compiled with  |(invalid) C++ code when
   |-std=c++2a: unexpected  |compiled with -std=c++2a:
   |expression ‘f’ of kind   |unexpected expression
   |template_id_expr|‘f’ of kind
   ||template_id_expr
 Ever confirmed|0   |1

--- Comment #1 from Jakub Jelinek  ---
Started with r265734.