https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64077
Daniel Krügler <daniel.kruegler at googlemail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |daniel.kruegler@googlemail.
| |com
--- Comment #1 from Daniel Krügler <daniel.kruegler at googlemail dot com> ---
(In reply to Andrew Dixie from comment #0)
> I believe this is rejects-valid:
I disagree with your interpretation. This was resolved a while ago by core
issue 665:
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#665
The essential wording that reflects this can be found in [expr.dynamic.cast]
p5:
"In both the pointer and reference cases, the program is ill-formed if cv2 has
greater cv-qualification than cv1 or if B is an inaccessible or ambiguous base
class of D."
