https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71957
--- Comment #4 from Sebastian Huber <sebastian.hu...@embedded-brains.de> --- (In reply to Richard Biener from comment #3) > On a second look the testcase looks invalid as it invokes a virtual function > via C<D> on an object of type C<A>. Why do you think doing this is valid? I try to generate a new test case without the reinterpret cast.