https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107472
Bug ID: 107472 Summary: Support for the Linux kernel's memory-management APIs Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Depends on: 106302 Blocks: 106358 Target Milestone: --- A suggestion at LPC 2022 was that -fanalyzer could gain knowledge (perhaps via a plugin) about the behavior of the Linux kernel's memory allocation routines. See https://www.kernel.org/doc/html/latest/core-api/memory-allocation.html In particular, note the GPF flags; there seem to be a bunch of contextual rules about which flags should be set, which perhaps a -fanalyzer plugin could enforce. Grokking all these flags seems like another instance of PR 106302. Plus we ought to do sm-malloc.cc-style checking for leaks, double-free, etc. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106302 [Bug 106302] RFE: provide a way for -fanalyzer to use target flags https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358 [Bug 106358] [meta-bug] tracker bug for building the Linux kernel with -fanalyzer