https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106393
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|mpolacek at gcc dot gnu.org |unassigned at gcc dot
gnu.org
Status|ASSIGNED |NEW
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
The first test in the original post is now diagnosed. The rest may have to be
implemented in the analyzer. I'm not sure if I should close the BZ.