#include "inline-4.h" extern int printf (const char *, ...); int main(void) { /* APPLE LOCAL default to Wformat-security 5764921 */ printf (getstring()); /* { dg-warning "format not a string" } */ return 0; }