https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80068
--- Comment #2 from Dmitrii Kuvaiskii <dmitrii.kuvais...@tu-dresden.de> --- Thanks, Martin. This patch indeed solves it.
dmitrii.kuvais...@tu-dresden.de Mon, 27 Mar 2017 07:46:26 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80068
--- Comment #2 from Dmitrii Kuvaiskii <dmitrii.kuvais...@tu-dresden.de> --- Thanks, Martin. This patch indeed solves it.