[Bug c++/105520] New: Ignores constraint in auto declaration with braced-init-list

[Bug c++/105520] New: Ignores constraint in auto declaration with braced-init-list

[cooky.ykooc922 at gmail dot com]

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

            Bug ID: 105520
           Summary: Ignores constraint in auto declaration with
                    braced-init-list
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cooky.ykooc922 at gmail dot com
  Target Milestone: ---

>From the code snippet below:

#include <concepts>
#include <initializer_list>

template <typename T>
concept always_true = true;

template <typename T>
concept always_false = false;

template <typename>
inline constexpr bool is_init_list_v = false;

template <typename T>
inline constexpr bool is_init_list_v<std::initializer_list<T>> = true;

template <typename T>
concept not_init_list = !is_init_list_v<std::remove_cvref_t<T>>;

int main() {
    always_true auto a = 10; // ok
    always_true auto b = {1, 2, 3}; // ok

    // always_false auto c = 10; // error as expected
    // always_false auto d = {1, 2, 3}; // error as expected

    not_init_list auto e = 10; // ok
    not_init_list auto f = {1, 2, 3}; // no error but unexpected

    // error as expected below:
    // not_init_list auto g = std::initializer_list{1, 2, 3}; 
}

GCC accepts invalid code from `not_init_list auto f = {1, 2, 3}`, while Clang
rejects it as expected showing:

<source>:27:5: error: deduced type 'std::initializer_list<int>' does not
satisfy 'not_init_list'
    not_init_list auto f = {1, 2, 3}; // no error but unexpected
    ^~~~~~~~~~~~~~~~~~
<source>:17:25: note: because
'!is_init_list_v<std::remove_cvref_t<initializer_list<int> > >' evaluated to
false
concept not_init_list = !is_init_list_v<std::remove_cvref_t<T>>;
                        ^
compiler flag: -std=c++20
compiler explorer link: https://godbolt.org/z/G569rxb8f

[Bug c++/105520] Ignores constraint in auto declaration with braced-init-list

[cooky.ykooc922 at gmail dot com]

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

Desmond Gold <cooky.ykooc922 at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|12.0                        |10.0

--- Comment #1 from Desmond Gold <cooky.ykooc922 at gmail dot com> ---
GCC 10.1 to GCC trunk accept this invalid code

[Bug c++/105520] Ignores constraint in auto declaration with braced-init-list

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
             Blocks|                            |67491
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-04-06

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

This works as expected, in that we are getting the correct type for auto here:
```
#include <concepts>
#include <initializer_list>

template <typename T>
concept always_true = true;

template <typename T>
concept always_false = false;

template <typename>
inline constexpr bool is_init_list_v = false;

template <typename T>
inline constexpr bool is_init_list_v<std::initializer_list<T>> = true;

template <typename T>
concept not_init_list = !is_init_list_v<std::remove_cvref_t<T>>;
template <typename T>
inline constexpr bool not_init_list1 = !is_init_list_v<std::remove_cvref_t<T>>;


int main() {
    auto f = {1, 2, 3};
    static_assert(!not_init_list<decltype(f)>);
    static_assert(!not_init_list1<decltype(f)>);
}
```


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491
[Bug 67491] [meta-bug] concepts issues