[Bug c++/108613] [12/13 Regression] GCC12 internal compiler error on __int128_t in type_traits header

2023-01-31 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108613 Patrick Palka changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug c++/108579] [13 Regression] Requires-expression that checks constructor on non-template constructor of template class got rejected

2023-02-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108579 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389

2023-02-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added Keywords||ice-on-invalid-code Status|A

[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389

2023-02-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added CC||asolokha at gmx dot com --- Comment #8 f

[Bug c++/107150] ICE: tree check: expected function_type or method_type, have lang_type in deduce_noexcept_on_destructor, at cp/class.cc:5183

2023-02-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107150 Patrick Palka changed: What|Removed |Added Resolution|--- |DUPLICATE Status|UNCONFIRME

[Bug c++/107461] [12 Regression] ambiguity error for friend with templated constexpr argument

2023-02-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107461 Patrick Palka changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug c++/107461] [12/13 Regression] ambiguity error for friend with templated constexpr argument

2023-02-04 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107461 --- Comment #9 from Patrick Palka --- (In reply to Jakub Jelinek from comment #7) > Reduced testcase: Interestingly Clang also rejects this testcase, so I'm not sure if we were correct to accept it previously. Here's a more reduced testcase th

[Bug c++/107461] [12/13 Regression] ambiguity error for friend with templated constexpr argument

2023-02-04 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107461 --- Comment #10 from Patrick Palka --- (In reply to Patrick Palka from comment #9) > If we remove the line #1 then this bogus error disappears. The line 'B b;' rather.

[Bug c++/107461] [12/13 Regression] ambiguity error for friend with templated constexpr argument

2023-02-05 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107461 --- Comment #13 from Patrick Palka --- hb-aat-layout.cc.i and the comment #9 test should be accepted on trunk again now, backport to the 12 branch to follow. The comment #7 testcase I think is invalid because GCC incorrectly accepts the substit

[Bug c++/108563] [10/11/12/13 Regression] [concepts] ICE (segfault) when requiring sizeof(variable_tempalate_v) since r10-7441-ga7ea3d2ced786c45

2023-02-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108563 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/107461] [12 Regression] ambiguity error for friend with templated constexpr argument

2023-02-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107461 Patrick Palka changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution|---

[Bug c++/107773] Class members do not hide inherited types inside requires

2023-02-16 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107773 Patrick Palka changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug libstdc++/108827] New: [C++23] Implement P2387R3, Pipe support for user-defined range adaptors

2023-02-16 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108827 Bug ID: 108827 Summary: [C++23] Implement P2387R3, Pipe support for user-defined range adaptors Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal

[Bug c++/100295] Internal compiler error from generic lambda capturing parameter pack and expanding it in if constexpr

2023-02-17 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100295 Patrick Palka changed: What|Removed |Added Known to work||12.2.1, 13.0 Status|ASSIGNE

[Bug c++/108243] [10/11/12/13 Regression] Missed optimization for static const std::string_view(const char*)

2023-02-20 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108243 --- Comment #9 from Patrick Palka --- (In reply to Jiang An from comment #8) > This seems a bug, not merely missing of optimization. The string_view object > should always be statically initialized, because it has static storage > duration and i

[Bug c++/108848] [10/11/12/13 Regression] template keyword incorreclty required to access template class static member of non-dependent expression using member syntax in dependent context

2023-02-20 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108848 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org Su

[Bug c++/108243] [10/11/12/13 Regression] Missed optimization for static const std::string_view(const char*)

2023-02-21 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108243 --- Comment #11 from Patrick Palka --- The pending patch https://gcc.gnu.org/pipermail/gcc-patches/2023-February/612365.html will fix that. With that patch we'll statically initialize static const string_view foo("bar"); as we already do fo

[Bug c++/108884] [temp.friends]/9: Should constraint friends declared in class scope differ with definition out of scope?

2023-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108884 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org --- Comment #

[Bug c++/108884] [temp.friends]/9: Should constraint friends declared in class scope differ with definition out of scope?

2023-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108884 --- Comment #4 from Patrick Palka --- (In reply to Younan Zhang from comment #2) > (In reply to Patrick Palka from comment #1) > > #1 is neither a non-template friend declaration with a requires-clause nor a > > friend function template with a c

[Bug c++/108219] [12/13 Regression] requirement fails on a valid expression since r12-5253-g4df7f8c79835d569

2023-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108219 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/108897] Comparing pointer to field in rvalue class is not considered constant expression

2023-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108897 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org Resol

[Bug c++/85944] Address of temporary bound to a function parameter at global scope not considered constexpr

2023-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85944 Patrick Palka changed: What|Removed |Added CC||danakj at orodu dot net --- Comment #8 f

[Bug c++/108848] [10/11/12/13 Regression] template keyword incorreclty required to access template class static member of non-dependent expression using member syntax in dependent context

2023-02-23 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108848 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/101886] [11/12 Regression][concepts TS] ICE with auto as template argument since r11-7011-g6e0a231a4aa2407b

2023-02-25 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101886 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Target Milestone|11.4

[Bug c++/108966] Inheriting consteval constructor makes it constexpr in the derived class

2023-02-28 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108966 Patrick Palka changed: What|Removed |Added Resolution|--- |DUPLICATE Status|UNCONFIRME

[Bug c++/104490] Cannot inherit consteval constructor

2023-02-28 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104490 Patrick Palka changed: What|Removed |Added CC||g...@arne-mertz.de --- Comment #5 from

[Bug c++/108848] [10/11/12 Regression] template keyword incorreclty required to access template class static member of non-dependent expression using member syntax in dependent context

2023-02-28 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108848 Patrick Palka changed: What|Removed |Added Known to work||13.0 Known to fail|13.0

[Bug c++/108975] [10/11/12/13 Regression] Internal compiler error on constexpr variable used as nontype template

2023-03-01 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108975 Patrick Palka changed: What|Removed |Added Keywords|needs-bisection | CC|

[Bug c++/108219] [12 Regression] requirement fails on a valid expression since r12-5253-g4df7f8c79835d569

2023-03-01 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108219 Patrick Palka changed: What|Removed |Added Known to work||13.0 Summary|[12/13 Regressi

[Bug c++/108243] [10/11/12 Regression] Missed optimization for static const std::string_view(const char*)

2023-03-02 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108243 Patrick Palka changed: What|Removed |Added Summary|[10/11/12/13 Regression]|[10/11/12 Regression]

[Bug c++/108975] [10/11/12/13 Regression] ICE on constexpr variable used as nontype template since r9-5473-ge32fc4499f863f

2023-03-02 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108975 Patrick Palka changed: What|Removed |Added Summary|[10/11/12/13 Regression]|[10/11/12/13 Regression]

[Bug c++/108998] [13 Regression] ICE in tsubst, at cp/pt.cc:16037

2023-03-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108998 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/107461] [12 Regression] ambiguity error for friend with templated constexpr argument

2023-03-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107461 Patrick Palka changed: What|Removed |Added CC||headch at gmail dot com --- Comment #16

[Bug c++/109001] “no declaration matches” for complicated non-type template parameters

2023-03-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109001 Patrick Palka changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/108998] [12/13 Regression] ICE in tsubst, at cp/pt.cc:16037

2023-03-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108998 Patrick Palka changed: What|Removed |Added Summary|[13 Regression] ICE in |[12/13 Regression] ICE in

[Bug c++/108998] [12 Regression] ICE in tsubst, at cp/pt.cc:16037

2023-03-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108998 Patrick Palka changed: What|Removed |Added Summary|[12/13 Regression] ICE in |[12 Regression] ICE in

[Bug libstdc++/108969] [13 Regression] Initializing iostreams in the library needs a GLIBCXX_3.4.31 versioned symbol

2023-03-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108969 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org --- Comment #

[Bug c++/109030] New: ICE in cxx_eval_call_expression with aggregate initialization inside noexcept

2023-03-05 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109030 Bug ID: 109030 Summary: ICE in cxx_eval_call_expression with aggregate initialization inside noexcept Product: gcc Version: 13.0 Status: UNCONFIRMED Severity:

[Bug c++/109030] [13 Regression] checking ICE in cxx_eval_call_expression with aggregate initialization inside noexcept

2023-03-05 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109030 Patrick Palka changed: What|Removed |Added CC||mpolacek at gcc dot gnu.org K

[Bug c++/108563] [10/11/12/13 Regression] [concepts] ICE (segfault) when requiring sizeof(variable_tempalate_v) since r10-7441-ga7ea3d2ced786c45

2023-03-05 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108563 Patrick Palka changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug c++/109039] [12/13 Regression] Miscompilation with no_unique_address and bitfields

2023-03-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109039 Patrick Palka changed: What|Removed |Added Summary|Miscompilation with |[12/13 Regression] |n

[Bug c++/108998] [12 Regression] ICE in tsubst, at cp/pt.cc:16037

2023-03-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108998 Patrick Palka changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug c++/108116] [12 Regression] ICE in check_noexcept_r, at cp/except.cc:1074 since r12-6897-gdec8d0e5fa00ceb2

2023-03-06 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108116 Patrick Palka changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug libstdc++/108362] views::istream is SFINAE-unfriendly

2023-03-07 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108362 Patrick Palka changed: What|Removed |Added Status|NEW |ASSIGNED CC|

[Bug libstdc++/107572] cartesian_product_view invokes the begin of input_range twice

2023-03-07 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107572 Patrick Palka changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug libstdc++/109024] [C++23][ranges][repeat_view] The default ctor unuseable

2023-03-08 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109024 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/109065] [11/12/13 Regression] Type alias combination erroneously fails with "incomplete type"

2023-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109065 Patrick Palka changed: What|Removed |Added CC||nathan at gcc dot gnu.org,

[Bug libstdc++/107572] cartesian_product_view invokes the begin of input_range twice

2023-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107572 Patrick Palka changed: What|Removed |Added Target Milestone|--- |13.0 Status|ASSIGNED

[Bug libstdc++/108362] views::istream is SFINAE-unfriendly

2023-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108362 Patrick Palka changed: What|Removed |Added Target Milestone|--- |12.3 --- Comment #3 from Patrick Palka

[Bug libstdc++/109024] [C++23][ranges][repeat_view] The default ctor unuseable

2023-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109024 Patrick Palka changed: What|Removed |Added Status|ASSIGNED|RESOLVED Target Milestone|---

[Bug c++/109084] [10/11/12/13 Regression] requires keyword can't access private static constexpr bool in templated class

2023-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109084 Patrick Palka changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug c++/109084] [10/11/12/13 Regression] requires keyword can't access private static constexpr bool in templated class

2023-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109084 --- Comment #3 from Patrick Palka --- template class MyClass { private: static constexpr bool cond = true; public: MyClass(T) requires cond; }; MyClass c{0}; The problem seems to be that the access context during satisfaction of #

[Bug libstdc++/109111] Definition of repeat_view::_Iterator has wrong template-head

2023-03-13 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109111 Patrick Palka changed: What|Removed |Added Target Milestone|--- |13.0 Assignee|unassigned at g

[Bug c++/96830] GCC does not complain about redeclaration with inconsistent requires clause

2023-03-13 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96830 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org Assi

[Bug libstdc++/109111] Definition of repeat_view::_Iterator has wrong template-head

2023-03-14 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109111 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c++/96830] GCC does not complain about redeclaration with inconsistent requires clause

2023-03-14 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96830 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Target Milestone|---

[Bug c++/68608] [concepts] ICE with explicit class instantiation

2023-03-15 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68608 Patrick Palka changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug c++/67491] [meta-bug] concepts issues

2023-03-15 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 68608, which changed state. Bug 68608 Summary: [concepts] ICE with explicit class instantiation https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68608 What|Removed |Added ---

[Bug c++/96164] Constraints and explicit template instantiation

2023-03-15 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96164 Patrick Palka changed: What|Removed |Added CC||ryan.burn at gmail dot com --- Comment #

[Bug c++/85493] decltype can use deleted constructor and deleted template function in template function

2022-02-21 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85493 Patrick Palka changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/54366] [meta-bug] decltype issues

2022-02-21 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54366 Bug 54366 depends on bug 85493, which changed state. Bug 85493 Summary: decltype can use deleted constructor and deleted template function in template function https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85493 What|Removed

[Bug c++/100983] Deduction guide for member template class rejected at class scope

2022-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100983 --- Comment #5 from Patrick Palka --- (In reply to Artur Bać from comment #4) > trunk at compiler explorer still rejects valid code > > https://godbolt.org/z/v4ebhj9Gh, only the message of requirement of > namespace scope is missing from gcc 11

[Bug c++/100983] Deduction guide for member template class rejected at class scope

2022-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100983 --- Comment #8 from Patrick Palka --- (In reply to Artur Bać from comment #7) > Do I have to open new bug because of You marked it as fixed while it is not > fixed ? Yes please, it'd be easier to track that way.

[Bug c++/104641] Deduction guide for member template class rejected at class scope when used with typename dependant type

2022-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104641 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org Las

[Bug c++/104641] Deduction guide for member template class rejected at class scope when used with typename dependant type

2022-02-22 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104641 --- Comment #2 from Patrick Palka --- One workaround is to use a helper member function (defined alongside the nested class template) that performs the CTAD, something like: #include template struct A { template struct B { B(U); }; templ

[Bug c++/104594] narrowing of -1 to unsigned char not detected with requires concepts

2022-02-28 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104594 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/104733] [12 Regression] Likely rejects valid since r12-6022-gbb2a7f80a98de3fe

2022-03-01 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104733 --- Comment #5 from Patrick Palka --- Created attachment 52538 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52538&action=edit diff for py.ii (In reply to Martin Liška from comment #4) > Created attachment 52537 [details] > Original sour

[Bug c++/104733] [12 Regression] Likely rejects valid since r12-6022-gbb2a7f80a98de3fe

2022-03-01 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104733 --- Comment #7 from Patrick Palka --- FWIW here's a reduction that Clang and GCC 11 accept, and trunk rejects: template auto mul(T t, U u) -> decltype(t * u); // #1 namespace M { struct A { }; } void operator*(M::A, M::A); // #2 template aut

[Bug c++/104622] [12 Regression] ICE in compare_ics, at cp/call.cc:11419

2022-03-02 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104622 Patrick Palka changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug c++/65396] Function template default template arguments not merged

2022-03-03 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65396 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org Assi

[Bug c++/103443] consteval function rejected as constant expression

2022-03-04 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103443 --- Comment #3 from Patrick Palka --- (In reply to Jakub Jelinek from comment #1) > Shall constexpr.c handle NON_DEPENDENT_EXPR, or can that wrap expressions > that really can't be constant expression evaluated? r12-7264 made potential_constant

[Bug c++/103443] consteval function rejected as constant expression

2022-03-04 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103443 Patrick Palka changed: What|Removed |Added Target Milestone|--- |12.0 Resolution|---

[Bug c++/104823] New: [12 Regression] narrowing conversion inside non-dependent decltype operand silently accepted ever since r12-6075

2022-03-07 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104823 Bug ID: 104823 Summary: [12 Regression] narrowing conversion inside non-dependent decltype operand silently accepted ever since r12-6075 Product: gcc Version: 12

[Bug c++/78244] Narrowing conversion is accepted in a function template, but it should be rejected

2022-03-07 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78244 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org See

[Bug c++/104823] [12 Regression] narrowing conversion inside non-dependent decltype operand silently accepted ever since r12-6075

2022-03-07 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104823 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/104823] [12 Regression] narrowing conversion inside non-dependent decltype operand silently accepted ever since r12-6075

2022-03-07 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104823 --- Comment #2 from Patrick Palka --- r12-6075 is exposing a latent bug with non-dependent decltype folding, namely we instantiate the expression only if it's potentially constant. In this case, id(v) is not potentially constant because id is n

[Bug c++/65396] Function template default template arguments not merged

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65396 Patrick Palka changed: What|Removed |Added Target Milestone|--- |12.0 Status|ASSIGNED

[Bug c++/50370] [C++0x] Multiple declarations with default template arguments accepted

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50370 Patrick Palka changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug c++/102137] class template argument deduction with template template parameter allows explicit deduction guide

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102137 Patrick Palka changed: What|Removed |Added Target Milestone|--- |12.0 Resolution|---

[Bug c++/87820] Explicit user-defined casting inside a template class working in implicit conversion inside function template

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87820 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Assignee|unassigned at g

[Bug c++/104823] [12 Regression] narrowing conversion inside non-dependent decltype operand silently accepted ever since r12-6075

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104823 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c++/96780] debuginfo for std::move and std::forward isn't useful

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96780 --- Comment #12 from Patrick Palka --- I should mention I noticed a significant reduction in compile time, memory usage and unstripped object file size in some cases with the proposed patch at https://gcc.gnu.org/pipermail/gcc-patches/2022-March/

[Bug c++/104802] Non-type template parameter of reference type disallowed under certain conditions

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104802 Patrick Palka changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug c++/96331] Class template argument deduction (CTAD) with Concepts

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96331 Patrick Palka changed: What|Removed |Added Resolution|--- |DUPLICATE Status|NEW

[Bug c++/93083] [C++20] copy deduction rejected when doing CTAD for NTTP

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93083 Patrick Palka changed: What|Removed |Added CC||nicole.king464 at gmail dot com --- Comm

[Bug c++/104859] [12 regression] liibg++ fails during bootstrap

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104859 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org E

[Bug libstdc++/104859] [12 regression] liibg++ fails during bootstrap

2022-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104859 --- Comment #9 from Patrick Palka --- Should be fixed now, sorry for the build breakage. I suppose we might want to also backport this fix to the 11 branch.

[Bug libstdc++/104858] ranges::minmax double dereferences first

2022-03-10 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104858 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org

[Bug c++/104867] Base class matching ignores type of `auto` template parameter

2022-03-11 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104867 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org S

[Bug c++/104873] Bug in overload resolution for constrained class templates with deduction guides

2022-03-11 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104873 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org --- Comment #

[Bug c++/104873] Bug in overload resolution for constrained class templates with deduction guides

2022-03-11 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104873 --- Comment #2 from Patrick Palka --- Here's a testcase that seems to argue for including the class constraints in the implicit guide's constraints (which already contain the rewritten constraints of the constructor): template struct A { stat

[Bug c++/98644] [10/11 Regression] [concepts] ICE in satisfaction_value, at cp/constraint.cc:2825

2022-03-12 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98644 Patrick Palka changed: What|Removed |Added Summary|[10/11/12 Regression] |[10/11 Regression] |[c

[Bug c++/104527] [11 Regression] ICE: tree check: accessed elt 1 of 'tree_vec' with 0 elts in hash, at cp/constraint.cc:2486

2022-03-12 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104527 Patrick Palka changed: What|Removed |Added Summary|[11/12 Regression] ICE: |[11 Regression] ICE: tree

[Bug c++/104622] [12 Regression] ICE in compare_ics, at cp/call.cc:11419

2022-03-12 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104622 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c++/104641] Deduction guide for member template class rejected at class scope when used with typename dependant type

2022-03-12 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104641 Patrick Palka changed: What|Removed |Added Target Milestone|--- |12.0 Status|ASSIGNED

[Bug c++/98767] Function signature lost in concept diagnostic message

2022-03-12 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98767 Patrick Palka changed: What|Removed |Added Target Milestone|--- |12.0 Status|ASSIGNED

[Bug c++/80601] spurious -Wconversion warning with explicit class template arguments

2022-03-14 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80601 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org St

[Bug c++/99331] [8/9/10 Regression] -Wconversion false-positive in immediate context

2022-03-14 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99331 Patrick Palka changed: What|Removed |Added CC||jens.maurer at gmx dot net --- Comment #

[Bug c++/104837] tree check fail: in tree_operand_check, at tree.h:3948

2022-03-14 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104837 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org Resol

[Bug c++/86426] g++ ICE at on valid code in tree_operand_check, at tree.h:3615

2022-03-14 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86426 Patrick Palka changed: What|Removed |Added CC||dcb314 at hotmail dot com --- Comment #9

<    1   2   3   4   5   6   7   8   9   10   >