[Bug analyzer/106286] fd_diagnostic should implement get_meaning_for_state_change vfunc

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106286 Immad Mir changed: What|Removed |Added CC||mir at gcc dot gnu.org Status|U

[Bug analyzer/106003] RFE: -fanalyzer could complain about misuse of file-descriptors

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106003 Bug 106003 depends on bug 106286, which changed state. Bug 106286 Summary: fd_diagnostic should implement get_meaning_for_state_change vfunc https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106286 What|Removed |Ad

[Bug analyzer/106298] RFE: analyzer handling of dup, dup2, and dup3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106298 Immad Mir changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/106003] RFE: -fanalyzer could complain about misuse of file-descriptors

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106003 Bug 106003 depends on bug 106298, which changed state. Bug 106298 Summary: RFE: analyzer handling of dup, dup2, and dup3 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106298 What|Removed |Added -

[Bug analyzer/106300] RFE: analyzer support for more ways of obtaining an open file descriptor

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106300 Immad Mir changed: What|Removed |Added CC||mir at gcc dot gnu.org --- Comment #1 from

[Bug analyzer/106551] [13 Regression] dup2 causes -fanalyzer ICE in valid_to_unchecked_state, at analyzer/sm-fd.cc:751

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106551 --- Comment #2 from Immad Mir --- Sergei Trofimovich: Thanks for bringing the issue to our attention. Dave: I've sent a patch via gcc-patches.

[Bug analyzer/106551] [13 Regression] dup2 causes -fanalyzer ICE in valid_to_unchecked_state, at analyzer/sm-fd.cc:751

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106551 --- Comment #5 from Immad Mir --- Thanks for reporting the ICE, Tim. Dave: I have sent a patch via gcc-patches.

[Bug analyzer/106551] [13 Regression] dup2 causes -fanalyzer ICE in valid_to_unchecked_state, at analyzer/sm-fd.cc:751

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106551 --- Comment #7 from Immad Mir --- (In reply to CVS Commits from comment #6) The patch was lightly tested on x86_64 Linux.

[Bug analyzer/106003] RFE: -fanalyzer could complain about misuse of file-descriptors

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106003 Immad Mir changed: What|Removed |Added Last reconfirmed||2022-06-19 Status|UNCONFIRMED

[Bug analyzer/106003] RFE: -fanalyzer could complain about misuse of file-descriptors

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106003 --- Comment #5 from Immad Mir --- Thanks for bringing that to my attention. I will make the suggested corrections in a follow-up patch.

[Bug other/89863] [meta-bug] Issues in gcc that other static analyzers (cppcheck, clang-static-analyzer, PVS-studio) find that gcc misses

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89863 Bug 89863 depends on bug 106184, which changed state. Bug 106184 Summary: gcc/analyzer/sm-fd.cc:545: ordering problem ? https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106184 What|Removed |Added ---

[Bug analyzer/106184] gcc/analyzer/sm-fd.cc:545: ordering problem ?

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106184 Immad Mir changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---