https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105900
Bug ID: 105900 Summary: RFE: -fanalyzer could check malloc sizes when casting the result to a pointer Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Blocks: 105887 Target Milestone: --- See: https://clang.llvm.org/docs/analyzer/checkers.html#unix-mallocsizeof-c Tim Lange has expressed an interest in implementing this as part of GSoC 2022. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105887 [Bug 105887] RFE: clang analyzer warnings that GCC's -fanalyzer could implement