https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94689
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Version|unknown |10.0
Ever confirmed|0 |1
Last reconfirmed| |2020-04-21
Keywords| |rejects-valid
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Most of the command line is irrelevant to the bug, only -fanalyzer is needed.
I'm setting the rejects-valid keyword, even though the code actually has a
pedwarn and depends on a GNU extension.