https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775
--- Comment #4 from Sean Murthy ---
(In reply to Xi Ruoyao from comment #2)
> Clang says:
>
> :35:10: error: deduction guide template contains a template
> parameter that cannot be deduced
...
> but I'm not sure if this is correct (or more cor
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775
--- Comment #3 from Sean Murthy ---
I notice the repro has an unnecessary explicit specifier for guide 2. That
guide should be:
//guide 2
template
C(SI) -> C>;
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115778
--- Comment #3 from Sean Murthy ---
(In reply to Andrew Pinski from comment #2)
> > The same code has no error in GCC 14.1.
>
> It ICEs with -fchecking starting in GCC 11.1.0. But I don't know if it is a
> regression or it was just the checking
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115778
--- Comment #1 from Sean Murthy ---
Created attachment 58587
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58587&action=edit
Compiler output from Compiler Explorer (link in initial report)
I am unable to generate pre-processed file becau
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115778
Bug ID: 115778
Summary: Internal compiler error: in keep_template_parm, at
cp/pt.cc:10960
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775
--- Comment #1 from Sean Murthy ---
Created attachment 58585
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58585&action=edit
Compiler output for the repro
Generated with GCC 14.1 with the following command line:
g++ -v -save-temps -std=
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775
Bug ID: 115775
Summary: User-defined deduction guide ignored for alias
template if the alias passes on a template template
parameter to the aliased class template
Product:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115198
--- Comment #8 from Sean Murthy ---
(In reply to Patrick Palka from comment #7)
> Fixed for GCC 14.2, thanks for the bug report.
Neat. I just saw the issues is fixed in trunk on Compiler Explorer. Thank you.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #11 from Sean Murthy ---
Created attachment 58538
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58538&action=edit
Repro for "order dependency" where issues with both A objects and B objects
disappear because B objects are crea
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #10 from Sean Murthy ---
Comment on attachment 58537
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58537
Repro for "dependency" where not creating A objects fixes the issue with B
objects
Oops, the last two lines of the code
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #9 from Sean Murthy ---
Created attachment 58537
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58537&action=edit
Repro for "dependency" where not creating A objects fixes the issue with B
objects
See: https://sigcpp.godbolt.o
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #8 from Sean Murthy ---
Created attachment 58536
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58536&action=edit
Repro for "contamination" or "bleeding" of A object issues to B objects
See: https://sigcpp.godbolt.org/z/73j6Yq
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #7 from Sean Murthy ---
I have three other observations I'm having a hard time grasping and worry that
I might be doing something wrong. I share them anyway in the hope they add
value. I will also attach repros for these.
The observ
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #6 from Sean Murthy ---
(In reply to Andrew Pinski from comment #4)
> Created attachment 58528 [details]
> Reduced further
>
> The second t argument type in the template definition is the key I think.
> Changing it to just class all
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #2 from Sean Murthy ---
Created attachment 58526
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58526&action=edit
Compiler output for the repro
Produced with GCC 14.1. static_asserts adjusted (negations where it fails
incorrec
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
--- Comment #1 from Sean Murthy ---
Created attachment 58525
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58525&action=edit
Pre-processed file for repro source
Produced with GCC 14.1. static_asserts adjusted (negations where it fails
in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115672
Bug ID: 115672
Summary: Incorrect template type parameter deduced in
non-deduced context if class template has template
template parameter
Product: gcc
Version:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115656
--- Comment #6 from Sean Murthy ---
Additional info, just in case it helps. Either of the following changes to the
repro causes the reported error to disappear (not saying that either change is
universally acceptable, that is, they are not worka
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115656
--- Comment #4 from Sean Murthy ---
Created attachment 58517
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58517&action=edit
g++ output
This file contains the compiler output using the following cmdline on the
source file containing the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115656
--- Comment #3 from Sean Murthy ---
Created attachment 58516
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58516&action=edit
preprocessed file for the source with repro
This pre-processed was generated by running the following command:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115656
--- Comment #2 from Sean Murthy ---
Compiler version: GCC 11.1 through GCC 14.1
Compiler options: -std=c++20 -Wall -Wextra -pedantic -pedantic-errors
-Werror=pedantic
Compiler output:
: In function 'int main()':
:39:13: error: class template
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115656
--- Comment #1 from Sean Murthy ---
Oops. I meant to say "GCC 11.1" in my bug description; not GCC 11.5. It looks
like I can't edit the description. So, please make that a mental correction. 😳
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115656
Bug ID: 115656
Summary: Templated ctor use rejected in non-deduced context if
class template has template template parameter
Product: gcc
Version: 14.1.0
Status: UNCONFI
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115198
--- Comment #4 from Sean Murthy ---
(In reply to Andrew Pinski from comment #2)
> Confirmed.
Thank you for confirming the issue.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115198
--- Comment #3 from Sean Murthy ---
For everyone's convenience, attaching here the compiler's error message. The
notes the compiler attached to the error indicate the issue might be with a
possibly erroneous/superfluous deduction guide the compi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115198
Bug ID: 115198
Summary: Class template argument deduction fails for copy ctor
when used with an alias template if the aliased class
template has explicitly defaulted copy ctor
26 matches
Mail list logo
