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