[Bug analyzer/107472] Support for the Linux kernel's memory-management APIs

2022-11-15 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107472 Bug 107472 depends on bug 106302, which changed state. Bug 106302 Summary: RFE: provide a way for -fanalyzer to use target flags https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106302 What|Removed |Added -

[Bug analyzer/107472] Support for the Linux kernel's memory-management APIs

2022-11-15 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107472 --- Comment #2 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:d8aba860b34203621586df8c5a6756b18c2a0c32 commit r13-4073-gd8aba860b34203621586df8c5a6756b18c2a0c32 Author: David Malcolm Date: T

[Bug analyzer/107472] Support for the Linux kernel's memory-management APIs

2022-10-31 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107472 --- Comment #1 from David Malcolm --- (In reply to David Malcolm from comment #0) > In particular, note the GPF flags GFP, even