[Bug middle-end/34516] New: trivial sentinels

[Bug middle-end/34516] New: trivial sentinels

[mrs at apple dot com]

Please implement http://gcc.gnu.org/ml/gcc-patches/2006-06/msg01047.html

This is useful because previously, gcc-4.0.1 didn't warn about this case:

void f(void *last, ...) __attribute__((sentinel(0,1)));

main() {
  f((void*)0);
}

but gcc-4.2 does.  We have APIs that make use of the null being in the first
argument and they used the sentinel check, but now clients get lots of warnings
due to the `new' behavior.

We've added this to our compiler, just 49 lines...

radr://5631180


-- 
           Summary: trivial sentinels
           Product: gcc
           Version: 4.2.1
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mrs at apple dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34516

[Bug middle-end/34516] trivial sentinels

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-12-17 22:27 -------
And why don't you submit it????


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34516

[Bug middle-end/34516] trivial sentinels

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2007-12-17 22:30 -------
If you have added it to (*cough*) "your compiler", why don't you just submit
it?

Oh wait.  Apple. Right...


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34516

[Bug middle-end/34516] trivial sentinels

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Severity|minor                       |enhancement


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34516