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
: 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
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 for
++
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>&
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96873
--- Comment #5 from Mateusz Pusz ---
Thanks!
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.
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 { t
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
: 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 >
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; }
const
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
++
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
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 gnu.org
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
^~
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
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.
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.
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 --
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
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
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
++
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
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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82380
Mateusz Pusz changed:
What|Removed |Added
CC||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 commen
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 : uni
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 a
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"
``
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
: 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
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 with the
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
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"
33 matches
Mail list logo
