[Bug c/107016] New: [meta-bug] tracker bug for supporting "sparse" attributes in GCC

[Bug c/107016] New: [meta-bug] tracker bug for supporting "sparse" attributes in GCC

[dmalcolm at gcc dot gnu.org]

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

[Bug c/107016] [meta-bug] tracker bug for supporting "sparse" attributes in GCC

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107016

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-09-26
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
           Severity|normal                      |enhancement

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
.

[Bug c/107016] [meta-bug] tracker bug for supporting "sparse" attributes in GCC

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107016

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|106358                      |

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
I'm no longer looking at this for my -fanalyzer work; removing from
analyzer-linux tracker (PR 106358).


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
[Bug 106358] [meta-bug] tracker bug for building the Linux kernel with
-fanalyzer