[Bug c++/79962] [5/6/7 Regression] ICE nonnull_check_p on a function template with a type-dependent attribute nonnull

2017-03-09 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79962 --- Comment #5 from Marek Polacek --- Author: mpolacek Date: Thu Mar 9 22:45:39 2017 New Revision: 246016 URL: https://gcc.gnu.org/viewcvs?rev=246016=gcc=rev Log: PR c++/79962 PR c++/79984 * c-attribs.c

[Bug c++/79962] [5/6/7 Regression] ICE nonnull_check_p on a function template with a type-dependent attribute nonnull

2017-03-09 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79962 Marek Polacek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug c++/79962] [5/6/7 Regression] ICE nonnull_check_p on a function template with a type-dependent attribute nonnull

2017-03-09 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79962 --- Comment #3 from Marek Polacek --- We used to reject the code with: k.cc: In substitution of ‘template void f(typename T::U) [with T = S]’: k.cc:8:9: required from here k.cc:2:6: error: nonnull argument has invalid operand number (argument

[Bug c++/79962] [5/6/7 Regression] ICE nonnull_check_p on a function template with a type-dependent attribute nonnull

2017-03-09 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79962 Marek Polacek changed: What|Removed |Added Priority|P1 |P3 --- Comment #2 from Marek Polacek

[Bug c++/79962] [5/6/7 Regression] ICE nonnull_check_p on a function template with a type-dependent attribute nonnull

2017-03-09 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79962 Marek Polacek changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|