https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70204
--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
(In reply to Patrick Palka from comment #3)
> Reduced test case:
>
> int a;
>
> void fn1 ()
> {
> const int x = 0 * a;
> constexpr int y = x;
> }
Note that this one is incorrectly accepted without error by GCC 5.
