[Bug c++/115314] New: Type of the `auto` template parameter in a concept is not decayed when called as dependent name

2024-06-01 Thread mateusz.pusz at gmail dot com via Gcc-bugs
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- ``` struct X { static constexpr int val = 42; }; template concept A = std::same_as; template

[Bug c++/113966] New: Internal compiler error in `do_auto_deduction`

2024-02-16 Thread mateusz.pusz at gmail dot com via Gcc-bugs
: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- The following ICE has been happening for a longer time now for https://godbolt.org/z/7EK64PPr6: ``` quantity.h:316:9: internal compiler error: in do_auto_deduction, at cp

[Bug c++/111474] New: Consider stripping from the error message the identifiers of namespaces brought with using-directives

2023-09-19 Thread mateusz.pusz at gmail dot com via Gcc-bugs
Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- It would be awesome if the compiler was able to strip the identifiers

[Bug c++/111471] New: Incorrect NTTP printing in the error messages

2023-09-19 Thread mateusz.pusz at gmail dot com via Gcc-bugs
++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Please see the following example https://godbolt.org/z/qajTKdnGq: There are many similar issues: ``` required for the satisfaction of 'ReferenceOf::type, V>' [wit

[Bug c++/96873] Internal compiler error in alias_ctad_tweaks

2021-04-06 Thread mateusz.pusz at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96873 --- Comment #5 from Mateusz Pusz --- Thanks!

[Bug c++/96873] Internal compiler error in alias_ctad_tweaks

2021-04-06 Thread mateusz.pusz at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96873 --- Comment #3 from Mateusz Pusz --- Are there any chances for it to be fixed for gcc-11 or gcc-10.3? This feature is essential for the Physical Units library for C++Next.

[Bug c++/97103] ICE on nested requires expression template template instantiation

2020-09-18 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97103 --- Comment #1 from Mateusz Pusz --- : In instantiation of 'constexpr const bool valid_template_arguments class quantity>': :8:15: required from here :6:32: internal compiler error: in tsubst, at cp/pt.c:15447 6 | requires requires {

[Bug c++/97103] New: ICE on nested requires expression template template instantiation

2020-09-18 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- ``` template class quantity {}; template typename Q> inline constexpr bool valid_template_arguments = requires { requires requi

[Bug c++/97014] New: Class NTTPs not demangled in the compilation error

2020-09-10 Thread mateusz.pusz at gmail dot com
: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- The following code: ``` struct ratio { int num; int den; }; template struct X { static constexpr auto ratio = R; }; template concept positive = R.num >

[Bug c++/96873] Internal compiler error in alias_ctad_tweaks

2020-08-31 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96873 --- Comment #1 from Mateusz Pusz --- Similar error but in a different line happens for: ``` #include template struct basic_fixed_string { CharT data_[N + 1] = {}; constexpr basic_fixed_string(CharT ch) noexcept { data_[0] = ch; }

[Bug c++/96874] New: Internal Compiler Error: Segmentation fault on class NTTP

2020-08-31 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- #include template struct basic_fixed_string { CharT data_[N + 1] = {}; constexpr basic_fixed_string(CharT ch) noexcept { data_[0] = ch

[Bug c++/96873] New: Internal compiler error in alias_ctad_tweaks

2020-08-31 Thread mateusz.pusz at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- #include template struct basic_fixed_string { CharT data_[N + 1] = {}; constexpr basic_fixed_string(CharT ch) noexcept { data_[0] = ch; } constexpr

[Bug c++/92139] Segmentation fault on constraints verification

2020-08-08 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92139 --- Comment #3 from Mateusz Pusz --- Oh sorry, it seems I forgot to attach a preprocessed file. I am not able to find it now so please close this issue. Sorry for the trouble. Best Mat pt., 7 sie 2020, 18:52 użytkownik redi at gcc dot

[Bug c++/92101] Class template partial specializations with class NTTP does not work

2020-05-08 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92101 --- Comment #2 from Mateusz Pusz --- No, it fails on clang with: ``` :22:10: error: use of class template 'basic_fixed_string' requires template arguments; argument deduction not allowed in template parameter template

[Bug c++/95015] New: Partial specializations of class templates with class NTTP fails

2020-05-08 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- The following code does not compile: ``` template struct X { T a; int b; }; template X(T, int) -> X; // <- does not work

[Bug c++/93103] Generic function syntax does not check return concept

2020-05-08 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103 --- Comment #4 from Mateusz Pusz --- I am so sorry. My bad. You are right. It seems to be fixed indeed.

[Bug c++/93103] Generic function syntax does not check return concept

2020-05-08 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103 --- Comment #2 from Mateusz Pusz --- It might be a regression because I remember it working fine. Now it fails again. Check here: https://godbolt.org/z/-K39X7.

[Bug c++/93675] Starship operator on a hidden friend operator does not work

2020-02-11 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93675 --- Comment #2 from Mateusz Pusz --- Thanks! Mat śr., 12 lut 2020, 01:09 użytkownik cvs-commit at gcc dot gnu.org < gcc-bugzi...@gcc.gnu.org> napisał: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93675 > > --- Comment #1 from CVS Commits

[Bug c++/93675] New: Starship operator on a hidden friend operator does not work

2020-02-11 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- The following code does not compile: ``` struct B { int b; friend constexpr auto operator<=>(const B&, const B&a

[Bug c++/93103] New: Generic function syntax does not check return concept

2019-12-30 Thread mateusz.pusz at gmail dot com
Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- In the example below `foo` correctly fails the concept check while `boo` ignores the constraints of the return type: ``` #include template concept SomeConcept

[Bug c++/92150] New: Partial specializations of class templates with class NTTP fails

2019-10-18 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- The following code fails the assert ``` struct X { int value; // auto operator==(const X&) = default; }; template stru

[Bug c++/92139] New: Segmentation fault on constraints verification

2019-10-17 Thread mateusz.pusz at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- While trying to compile preprocessed file from the attachment the compiler crashes with the following stack trace: [build] /usr/local/gcc-10/bin/g++-10 -I../../src

[Bug c++/92101] New: Class template partial specializations with class NTTP does not work

2019-10-15 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Assuming the following basic_fixed_string implementation ``` #include template struct basic_fixed_string { CharT data_[N+1

[Bug c++/82380] [concepts] Error when using requires constraint with attributes

2019-08-05 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82380 Mateusz Pusz changed: What|Removed |Added CC||mateusz.pusz at gmail dot com

[Bug c++/90426] [P0732] Error constructing non-type template parameter from a prvalue

2019-05-11 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90426 --- Comment #5 from Mateusz Pusz --- (In reply to Mateusz Pusz from comment #3) > (In reply to Marek Polacek from comment #1) > > This compiles if I use {} instead of (): > > > > struct gram : unit {}; > > (In reply to Marek Polacek from

[Bug c++/90426] [P0732] Error constructing non-type template parameter from a prvalue

2019-05-11 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90426 --- Comment #4 from Mateusz Pusz --- (In reply to Marek Polacek from comment #1) > This compiles if I use {} instead of (): > > struct gram : unit {}; I know that it compiles fine in the following cases: struct gram : unit {}; struct gram :

[Bug c++/90426] [P0732] Error constructing non-type template parameter from a prvalue

2019-05-11 Thread mateusz.pusz at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90426 --- Comment #3 from Mateusz Pusz --- (In reply to Marek Polacek from comment #1) > This compiles if I use {} instead of (): > > struct gram : unit {}; (In reply to Marek Polacek from comment #2) > I think this is invalid. [temp.arg]p2: > "In

[Bug c++/90426] New: [P0732] Error constructing non-type template parameter from a prvalue

2019-05-10 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Hi, Compiling the code provided below with the following options produces an error: "-std=c++2a -Wall -Wextra" ``

[Bug c++/90101] New: [P0732]

2019-04-15 Thread mateusz.pusz at gmail dot com
dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Hi, Compiling the code provided below with the following options produces an error: "-std=c++2a -Wall -Wextra" ``` template struct A; template typename List> struct A> {}; template typen

[Bug c++/90100] New: [P0732] Cannot write a type-trait matching non-type class template parameters

2019-04-15 Thread mateusz.pusz at gmail dot com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Hi, Compiling the code provided below with the following options produces an error: "-std=c++2a -Wall -W

[Bug c++/90099] New: [P0732] Partial specialization of a class template with variadic parameter pack fails after adding non-type template parameter

2019-04-15 Thread mateusz.pusz at gmail dot com
Version: 9.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Hi, Compiling the code provided below

[Bug c++/90098] New: [P0732] Partial specialization of a class template with variadic parameter pack fails

2019-04-15 Thread mateusz.pusz at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Hi, Compiling the code provided below with the following options produces an error: "-std=c++2a -Wall -W

[Bug c++/90097] New: [P0732] Error while comparing 2 non-type parameters in constraints

2019-04-15 Thread mateusz.pusz at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: mateusz.pusz at gmail dot com Target Milestone: --- Hi, Compiling the code provided below with the following options produces an error: "-std=c++2a -fconcepts -Wall -Wextra"