https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87806
--- Comment #1 from Ulrich Windl <Ulrich.Windl at rz dot uni-regensburg.de> --- This is an enhancement request (cant't set it in Bugzilla)
Ulrich.Windl at rz dot uni-regensburg.de Tue, 30 Oct 2018 03:08:48 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87806
--- Comment #1 from Ulrich Windl <Ulrich.Windl at rz dot uni-regensburg.de> --- This is an enhancement request (cant't set it in Bugzilla)