GCC has various variadic functions (build_function_type_list is one example) with argument lists terminated by NULL. These should all be declared to use the sentinel attribute, via ATTRIBUTE_SENTINEL (a definition of which is brought in via libiberty.h), so that missing termination is detected when GCC is built.
-- Summary: Use sentinel attributes in GCC Product: gcc Version: 4.5.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: other AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: jsm28 at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44286