https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
Bug ID: 106358
Summary: [meta-bug] tracker bug for building the Linux kernel
with -fanalyzer
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
Depends on: 106204, 106218, 106225, 106229, 106319, 106284, 106321
Target Milestone: ---
I've creating this tracker bug to help organize issues I'm running into whilst
building the Linux kernel with -fanalyzer.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106204
[Bug 106204] False positive from -Wanalyzer-use-of-uninitialized-value with
-ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106218
[Bug 106218] Analyzer false positives with Linux kernel's err.h
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106225
[Bug 106225] False positives from -Wanalyzer-tainted-divisor
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106229
[Bug 106229] False positives from -Wanalyzer-tainted-array-index with unsigned
char index
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106284
[Bug 106284] False positives from -Wanalyzer-tainted-array-index with optimized
conditionals
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106319
[Bug 106319] False positives from -Wanalyzer-va-arg-type-mismatch on int
promotion
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106321
[Bug 106321] False positives from -Wanalyzer-tainted-array-index with switch
with ranged cases
