: ice-on-valid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: vopl at bk dot ru
Target Milestone: ---
$ cat ./ice-15.cpp && echo EOFF
struct NonIntegral
{
constexpr oper
++
Assignee: unassigned at gcc dot gnu.org
Reporter: vopl at bk dot ru
Target Milestone: ---
$ cat ./ice-14.cpp && echo EOF
// g++-14 -std=c++20 -v -c ./ice-14.cpp
/0/1/2/3/4/5/6/7
template
stru
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: vopl at bk dot ru
Target Milestone: ---
cat main.cpp && echo EOFF
template struct Trap {};
struct Some
{
template)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100825
--- Comment #6 from vopl at bk dot ru ---
(In reply to Jonathan Wakely from comment #5)
> Yes, I realise that, but I think that is the same rule that means you can't
> change the result of overload resolution for a given call,
B
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100825
--- Comment #4 from vopl at bk dot ru ---
(In reply to Jonathan Wakely from comment #3)
> Clang and EDG agree with GCC here.
>
> I think your code is ill-formed due to [temp.constr.atomic] p3:
>
> "If, at different points
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100825
--- Comment #2 from vopl at bk dot ru ---
https://bugs.llvm.org/show_bug.cgi?id=50540
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100825
--- Comment #1 from vopl at bk dot ru ---
a little more minimized:
template void foo() {} //1
void useFirst()
{
foo();// call 1 - instantiate "void foo()"
}
template void foo() requires true {} //2
void useSecond()
{
foo()
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: vopl at bk dot ru
Target Milestone: ---
$ cat b.cpp && echo EOFF
template void foo() // 1
{}
template void foo() requires (sizeof(char) == sizeof(T)) // 2
{
foo();/
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100516
--- Comment #2 from vopl at bk dot ru ---
minimal reproduce code I have:
using size_t = decltype(sizeof(char));
class initializer
{
const char* _array;
size_t _len;
public:
constexpr initializer() : _array{}, _len
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100516
--- Comment #1 from vopl at bk dot ru ---
Please look at the following code, it throws an unexpected warning
[-Wstringop-overread].
$ cat b11.cpp && echo EOF
#include
void f()
{
std::initializer_list il{};
std::
Keywords: diagnostic
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: vopl at bk dot ru
CC: msebor at gcc dot gnu.org
Target Milestone: ---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93320
vopl at bk dot ru changed:
What|Removed |Added
CC||vopl at bk dot ru
--- Comment #7
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100396
--- Comment #4 from vopl at bk dot ru ---
I understand what you're saying. But, apparently, there is still corruption in
the calculus of the substituted Args, please look at this code (thanks to
johny5):
/0/1/
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100396
--- Comment #2 from vopl at bk dot ru ---
Please, try this, also failed
/0/1/2/3/4/5/6/7
template struct Checker
{
using Some = decltype(F{}(Args{}...));
};
template concept
: rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: vopl at bk dot ru
Target Milestone: ---
Regression in 11.1.0
$ cat src.cpp && echo EOFFF
/0/1/2//
: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: vopl at bk dot ru
Target Milestone: ---
g++ 9, 10
$ cat test.cpp && echo EOFFF
//Class Types in Non-Type Template Parameters - ICE with templates nested
templat
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86883
--- Comment #4 from vopl at bk dot ru ---
One more:
template struct Outer
{
template struct Inner;
template
Inner method();//error: expansion pattern 'V0' contains no parameter
packs
};
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86883
vopl at bk dot ru changed:
What|Removed |Added
CC||vopl at bk dot ru
--- Comment #3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715
--- Comment #3 from vopl at bk dot ru ---
probably the same
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67225
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78955
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80962
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715
vopl at bk dot ru changed:
What|Removed |Added
CC||vopl at bk dot ru
--- Comment #2
20 matches
Mail list logo
