[Bug c++/80873] ICE in tsubst_copy when trying to use an overloaded function without a definition in a lambda

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80873

Paolo Carlini  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |7.3

--- Comment #4 from Paolo Carlini  ---
Fixed for 7.3.0.

[Bug c++/80873] ICE in tsubst_copy when trying to use an overloaded function without a definition in a lambda

[paolo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80873

--- Comment #3 from paolo at gcc dot gnu.org  ---
Author: paolo
Date: Fri Oct 13 16:50:13 2017
New Revision: 253733

URL: https://gcc.gnu.org/viewcvs?rev=253733=gcc=rev
Log:
2017-10-13  Paolo Carlini  

PR c++/80873
* g++.dg/cpp1y/auto-fn41.C: New.
* g++.dg/cpp1y/auto-fn42.C: Likewise.

Added:
trunk/gcc/testsuite/g++.dg/cpp1y/auto-fn41.C
trunk/gcc/testsuite/g++.dg/cpp1y/auto-fn42.C
Modified:
trunk/gcc/testsuite/ChangeLog

[Bug c++/80873] ICE in tsubst_copy when trying to use an overloaded function without a definition in a lambda

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80873

Paolo Carlini  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2017-10-05
 Blocks||54367
 Ever confirmed|0   |1


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54367
[Bug 54367] [meta-bug] lambda expressions

[Bug c++/80873] ICE in tsubst_copy when trying to use an overloaded function without a definition in a lambda

[hafnermorris at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80873

--- Comment #2 from Morris Hafner  ---
Created attachment 41413
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41413=edit
Minimal example code (valid)

[Bug c++/80873] ICE in tsubst_copy when trying to use an overloaded function without a definition in a lambda

[hafnermorris at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80873

--- Comment #1 from Morris Hafner  ---
I managed to create an example that is a valid program:

struct Buffer {};

auto parse(Buffer b);
template  void parse(T target);

template 
auto field(T target) {
return [&] {
parse(target);
};
}

template 
void parse(T target) {}

auto parse(Buffer b) {
field(0);
}

int main() {
}