https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
Jason Merrill changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #13 from CVS Commits ---
The trunk branch has been updated by Jason Merrill :
https://gcc.gnu.org/g:f32f7881fb0db085479525b5a23db5dabd990c3b
commit r13-7172-gf32f7881fb0db085479525b5a23db5dabd990c3b
Author: Jason Merrill
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
Jason Merrill changed:
What|Removed |Added
Last reconfirmed|2023-03-24 00:00:00 |2023-04-13
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #12 from Jason Merrill ---
Created attachment 54806
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54806=edit
patch to allow with -fpermissive
Here's an (untested) possible approach to that. I'm about to be away for a
week,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #11 from Richard Biener ---
So INVALID? Is this change in behavior worth documenting in porting_to.html?
(does it make sense to have -fpermissive change the behavior of the builtin?)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
Patrick Palka changed:
What|Removed |Added
Keywords|needs-bisection,|
|needs-reduction
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
Patrick Palka changed:
What|Removed |Added
CC||ppalka at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #8 from Jonathan Wakely ---
Yes, looks undefined at first glance. We don't have to diagnose bad uses of
type traits (but we don't have to ignore them either, which means both gcc 12
and gcc 13 are correct).
The question is whether
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #7 from Andrew Pinski ---
Note I filed the note without a warning at PR 109278.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #6 from Andrew Pinski ---
I know cppreference is not the standard but usually it has a good summary.
From: https://en.cppreference.com/w/cpp/types/is_convertible :
```
>From and To shall each be a complete type, (possibly
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #5 from Andrew Pinski ---
Reduced testcase that shows the compiling difference between GCC 12 and 13:
```
#include
struct a;
struct b{};
bool c = std::is_convertible::value;
```
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #4 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #2)
> The difference is is_convertible definition.
> 12:
> template
> struct is_convertible
> : public __is_convertible_helper<_From, _To>::type
> { };
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
--- Comment #3 from Andrew Pinski ---
Though the code might be undefined ...
20.15.6/5 says:
```
The predicate condition for a template specialization is_convertible
shall be satisfied if and
only if the return expression in the following code
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
Andrew Pinski changed:
What|Removed |Added
See Also|https://gcc.gnu.org/bugzill |https://gcc.gnu.org/bugzill
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
Andrew Pinski changed:
What|Removed |Added
Status|NEW |UNCONFIRMED
Target Milestone|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109277
Martin Liška changed:
What|Removed |Added
Ever confirmed|0 |1
Last reconfirmed|
16 matches
Mail list logo
