[Bug c++/110958] New: [CWG 2137][accepts-invalid] Copy-list-initialization with single element of same class only considers converting constructors as viable

2023-08-09 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110958 Bug ID: 110958 Summary: [CWG 2137][accepts-invalid] Copy-list-initialization with single element of same class only considers converting constructors as viable Product: gcc

[Bug c++/98822] Rejects-valid: instantiation of class template instantiates (all) constrained non-template friend definitions (, even those) with unsatisfied constraints

2022-06-02 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98822 --- Comment #3 from David Friberg --- I believe the current wording doesn't cover what should happen when instantiating a constrained non-template (hidden) friend, particularly instantiation of constrained (hidden) friends whose requires-clauses

[Bug c++/99699] Type deduction failure for deducing a non-type template parameter via another deducible structural type (class template specialization) non-type template parameter

2022-04-07 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99699 --- Comment #1 from David Friberg --- This seems to have been fixed on trunk/GCC 12: https://wandbox.org/permlink/qq207mBL7q5ndRgS

[Bug c++/104996] New: Overload resolution over rvalue/const lvalue array reference parameters for an init. list argument incorrectly picks the const lvalue ref. overload

2022-03-21 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104996 Bug ID: 104996 Summary: Overload resolution over rvalue/const lvalue array reference parameters for an init. list argument incorrectly picks the const lvalue ref. overload

[Bug c++/103333] New: [accepts-invalid] function template argument deduction for incompatible 'transformed A' / 'deduced A' pair

2021-11-19 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10 Bug ID: 10 Summary: [accepts-invalid] function template argument deduction for incompatible 'transformed A' / 'deduced A' pair Product: gcc Version: 12.0 Status: UNC

[Bug c++/102092] [C++2b] Passing argument to auto template parameter modifies the value of argument inside function

2021-08-27 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102092 --- Comment #3 from David Friberg --- (In reply to David Friberg from comment #2) > I believe your program has UB as it contains an odr-violation due to the > friend declaration of the stream operator function , as its in-class > definition ("hi

[Bug c++/102092] [C++2b] Passing argument to auto template parameter modifies the value of argument inside function

2021-08-27 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102092 David Friberg changed: What|Removed |Added CC||davveston at gmail dot com --- Comment

[Bug c++/69348] alias declarations can not be used inside qualifiers of declarators

2021-08-05 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69348 --- Comment #5 from David Friberg --- (In reply to Andrew Pinski from comment #4) > (In reply to David Friberg from comment #2) > > Another similar but more common (/less contrived) example, rejects-valid > > e.g. for GCC 10.1.0 for all C++ versi

[Bug c++/101789] New: Fails to match (re-)declaration of member function of class template when using an alias template for the (dependent) return type

2021-08-05 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101789 Bug ID: 101789 Summary: Fails to match (re-)declaration of member function of class template when using an alias template for the (dependent) return type Product: gcc

[Bug c++/54835] [C++11][DR 1518] Explicit default constructors not respected during copy-list-initialization

2021-06-09 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54835 --- Comment #22 from David Friberg --- (In reply to TC from comment #21) > (In reply to David Friberg from comment #19) > > > > P0398R0 [1] describes the final resolution to CWG 1518, after which the > > following example is arguably well-formed

[Bug c++/54835] [C++11][DR 1518] Explicit default constructors not respected during copy-list-initialization

2021-05-11 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54835 David Friberg changed: What|Removed |Added CC||davveston at gmail dot com --- Comment #

[Bug c++/99699] New: Type deduction failure for deducing a non-type template parameter via another deducible structural type (class template specialization) non-type template parameter

2021-03-21 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99699 Bug ID: 99699 Summary: Type deduction failure for deducing a non-type template parameter via another deducible structural type (class template specialization) non-type template

[Bug c++/99697] New: ICE for class template partial specialization over non-template (structural class template) parameter of deduced class type

2021-03-21 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99697 Bug ID: 99697 Summary: ICE for class template partial specialization over non-template (structural class template) parameter of deduced class type Product: gcc Ve

[Bug c++/83417] Pointer-to-member template parameter with auto member type dependent container type does not work (C++17)

2021-02-03 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83417 --- Comment #4 from David Friberg --- The example of my previous comment may fall under (the original intent of?) CWG 1892. If so it ill-formed, as 'auto (*fp)(T)' is not a function declaration in the template parameter list. http://open-std.org

[Bug c++/83417] Pointer-to-member template parameter with auto member type dependent container type does not work (C++17)

2021-01-27 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83417 David Friberg changed: What|Removed |Added CC||davveston at gmail dot com --- Comment #

[Bug c++/98822] New: Rejects-valid: instantiation of class template instantiates (all) constrained non-template friend definitions (, even those) with unsatisfied constraints

2021-01-25 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98822 Bug ID: 98822 Summary: Rejects-valid: instantiation of class template instantiates (all) constrained non-template friend definitions (, even those) with unsatisfied

[Bug c++/98820] New: Placeholder (auto) non-type template parameter wrongly deduced to 'const' for class type arguments

2021-01-25 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98820 Bug ID: 98820 Summary: Placeholder (auto) non-type template parameter wrongly deduced to 'const' for class type arguments Product: gcc Version: 11.0 Status: UNCONFIRMED

[Bug c++/59238] Dynamic allocating a list-initialized object of a type with private destructor fails.

2020-12-07 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59238 David Friberg changed: What|Removed |Added CC||davveston at gmail dot com --- Comment #

[Bug c++/98120] New: Multiple definitions (single TU) of explicit specialization of member enumeration of a class template

2020-12-03 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98120 Bug ID: 98120 Summary: Multiple definitions (single TU) of explicit specialization of member enumeration of a class template Product: gcc Version: 10.1.0

[Bug c++/69348] alias declarations can not be used inside qualifiers of declarators

2020-12-03 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69348 David Friberg changed: What|Removed |Added CC||davveston at gmail dot com --- Comment #

[Bug c++/97942] [C++20][P0692R1] Access checking not waived for declarations of explicit specializations of function and variable templates

2020-12-03 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97942 --- Comment #1 from David Friberg --- Somewhat related, we may note that GCC accepts-valid the following program, say (D): class A { class B {}; }; template struct S {}; template struct S {}; template struct S {}; int main() {} which is vali

[Bug c++/97942] New: [C++20][P0692R1] Access checking not waived for declarations of explicit specializations of function and variable templates

2020-11-23 Thread davveston at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97942 Bug ID: 97942 Summary: [C++20][P0692R1] Access checking not waived for declarations of explicit specializations of function and variable templates Product: gcc Ve