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.