[Bug c++/111705] New: [14 Regression] use of concepted copy constructored struct inside a template function messes up

[Bug c++/111705] New: [14 Regression] use of concepted copy constructored struct inside a template function messes up

[pinskia at gcc dot gnu.org]

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

            Bug ID: 111705
           Summary: [14 Regression] use of concepted copy constructored
                    struct inside a template function messes up
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Take:
```
template<class> concept c = true;
template<class T>
struct ts
{
  template<class T1>
   requires(c<T1>)
    ts(const ts<T1>&);
  template<class T1>
   requires(!c<T1>)
    ts(const ts<T1>&) = delete;
  ts() = default;
};


using P = ts<int>;
void (*f)(P);
template<class>
void f1()
{  
  P x;
  f(x);
}
```
This gets rejected with the following (bogus) error message:
```
<source>: In substitution of 'template<class T1>  requires !(c<T1>)
ts<int>::ts(const ts<T1>&) [with T1 = int]':
<source>:21:5:   required from here
   21 |   f(x);
      |     ^
<source>:10:3:   required by the constraints of 'template<class T>
template<class T1>  requires !(c<T1>) ts<T>::ts(const ts<T1>&)'
<source>:9:12: error: satisfaction value of atomic constraint '!(c<T1>) [with
T1 = int]' changed from '<expression error>' to 'false'
    9 |   requires(!c<T1>)
      |           ~^~~~~~~
<source>:21:5: note: satisfaction value first evaluated to '<expression error>'
from here
   21 |   f(x);
      |     ^
```

This was reduced from PR 111703 (but is different since this was accepted
before  in GCC 13)

[Bug c++/111705] [14 Regression] use of concepted copy constructored struct inside a template function messes up

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note changing f1 to a non-template, also allows the code to be accepted.

[Bug c++/111705] use of concepted copy constructored struct inside a template function messes up with -fchecking=2

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|14.0                        |---
            Summary|[14 Regression] use of      |use of concepted copy
                   |concepted copy              |constructored struct inside
                   |constructored struct inside |a template function messes
                   |a template function messes  |up with -fchecking=2
                   |up                          |

[Bug c++/111705] use of concepted copy constructored struct inside a template function messes up with -fchecking=2

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Actually this is rejected in previous versions of GCC via -fchecking=2 option
...

[Bug c++/111705] [13/14 Regression] use of concepted copy constructored struct inside a template function messes up with -fchecking=2

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |13.1.0
      Known to work|                            |12.3.0
            Summary|use of concepted copy       |[13/14 Regression] use of
                   |constructored struct inside |concepted copy
                   |a template function messes  |constructored struct inside
                   |up with -fchecking=2        |a template function messes
                   |                            |up with -fchecking=2
   Target Milestone|---                         |13.3

[Bug c++/111705] [12/13/14 Regression] use of concepted copy constructored struct inside a template function messes up with -fchecking=2

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|13.3                        |12.4

[Bug c++/111705] [12/13 Regression] use of concepted copy constructored struct inside a template function messes up with -fchecking=2

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-bisection             |
   Last reconfirmed|                            |2023-11-16
             Status|UNCONFIRMED                 |NEW
            Summary|[12/13/14 Regression] use   |[12/13 Regression] use of
                   |of concepted copy           |concepted copy
                   |constructored struct inside |constructored struct inside
                   |a template function messes  |a template function messes
                   |up with -fchecking=2        |up with -fchecking=2
                 CC|                            |ppalka at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
This one started with r13-6525 and was first fixed on trunk by the
NON_DEPENDENT_EXPR removal r14-4793.  The later r14-5531 would have fixed it
too, which I plan to backport to release branches.

[Bug c++/111705] [12/13 Regression] use of concepted copy constructored struct inside a template function messes up with -fchecking=2

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot gnu.org
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed by the PR111703 backports.