[Bug libc/17328] New: mark __errno_location with __attribute__((returns_nonnull)) for gcc >=4.9.0

["zackw at panix dot com" <sourceware-bugzilla at sourceware dot org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=17328

            Bug ID: 17328
           Summary: mark __errno_location with
                    __attribute__((returns_nonnull)) for gcc >=4.9.0
           Product: glibc
           Version: 2.19
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: libc
          Assignee: unassigned at sourceware dot org
          Reporter: zackw at panix dot com
                CC: drepper.fsp at gmail dot com

gcc 4.9 added __attribute__((returns_nonnull)) which declares that a function
returns a pointer that is guaranteed not to be NULL.

There are probably a whole bunch of functions to which glibc could
advantageously add this annotation, but I suspect __errno_location is the most
valuable.

-- 
You are receiving this mail because:
You are on the CC list for the bug.