[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