https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70255

--- Comment #12 from shatz at dsit dot co.il ---
(In reply to Marek Polacek from comment #11)
> I added the warning, so closing as fixed.

Warning is nice, but IMHO it is far more important to document the behavior in
online documentation, including docs for older versions.
In fact, if there will be a proper documentation in place, a warning is not so
necessary.

Reply via email to