https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98933
Mark <markus.kuehni at triviso dot ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #5 from Mark <markus.kuehni at triviso dot ch> ---
This is obviously not a bug.
And Bugzilla is not a learning tool.
(though the experts seem to be here ;-)
