https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107016
Bug ID: 107016
Summary: [meta-bug] tracker bug for supporting "sparse"
attributes in GCC
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: meta-bug
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Depends on: 59850, 59851, 59852, 59856, 68524
Target Milestone: ---
I've been looking at implementing some support for "sparse" annotations in GCC
as part of my -fanalyzer work, and discovered various existing RFEs about this.
I'm creating this tracker bug to make them easier to find/manage.
See:
https://sparse.docs.kernel.org/en/latest/
https://sparse.docs.kernel.org/en/latest/annotations.html
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59850
[Bug 59850] Support sparse-style pointer address spaces (type attributes)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59851
[Bug 59851] Support sparse-style __attribute__((nocast)) (type attribute)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59852
[Bug 59852] Support sparse-style __attribute__((bitwise)) (type attribute)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59856
[Bug 59856] Support sparse-style context checking, used to validate locking
correctness
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68524
[Bug 68524] Please support attributes between function definition and opening
brace
