[Bug c++/102038] New: another case of template function signature incorrectly dropping top-level cv-qualifier with function parameter of decltype from qualified-id of array member variable of template class

[Bug c++/102038] New: another case of template function signature incorrectly dropping top-level cv-qualifier with function parameter of decltype from qualified-id of array member variable of template class

[nickhuang99 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102038

            Bug ID: 102038
           Summary: another case of template function signature
                    incorrectly dropping top-level cv-qualifier with
                    function parameter of decltype from qualified-id of
                    array member variable of template class
           Product: gcc
           Version: 10.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nickhuang99 at hotmail dot com
  Target Milestone: ---

This is a similar case of PR101402,PR102033,PR102034

template<decltype(sizeof(int)) N>
struct A{
        template<class TB>
        struct B{
                using TB_Alias=TB;
                template<class TC=TB_Alias>
                struct C{
                        typedef TC Arr[N];
                        Arr arr;
                };
        };
};
template<decltype(sizeof(int)) N, class TB>
void f(const decltype(A<N>::template B<TB>::template C<>::arr)){}

template<>void f<3, char>(const char [3]){}



I provide this similar bug of PR101402,PR102033,PR102034 in a purpose to expose
more aspect of this issue when using decltype-type, possibly as a future test
case when this "family" of bugs being fixed. More importantly, just a slightly
different of above case is passed by GCC when we are using "reference of array"
which is very interesting for developer to dig.

This passed!


template<decltype(sizeof(int)) N>
struct A{
        template<class TB>
        struct B{
                using TB_Alias=TB;
                template<class TC=TB_Alias>
                struct C{
                        typedef TC Arr[N];
                        Arr arr;
                };
        };
};
template<decltype(sizeof(int)) N, class TB>
void f(const decltype(A<N>::template B<TB>::template C<>::arr) &){}

template<>void f<3, char>(char const(&)[3]){}

[Bug c++/102038] another case of template function signature incorrectly dropping top-level cv-qualifier with function parameter of decltype from qualified-id of array member variable of template class

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102038

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
You don't need to keep opening new bugs for similar cases, just add them to the
existing bug.

*** This bug has been marked as a duplicate of bug 102033 ***

[Bug c++/102038] another case of template function signature incorrectly dropping top-level cv-qualifier with function parameter of decltype from qualified-id of array member variable of template class

[nickhuang99 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102038

--- Comment #2 from qingzhe huang <nickhuang99 at hotmail dot com> ---
Understand. Thank you.

BTW, is it possible to ask somebody to submit the patch on my behalf? I am very
lost of the whole procedure. Sorry for this dumb question.

[Bug c++/102038] another case of template function signature incorrectly dropping top-level cv-qualifier with function parameter of decltype from qualified-id of array member variable of template class

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102038

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
You submit the patch to the mailing list and wait for it to be reviewed.

https://gcc.gnu.org/contribute.html#patches

See "Pinging patches, Getting patches applied" near the end of that page.