for format type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@8426
138bc75d-0d04-0410-961f-
82ee72b054a4
continue;
}
- if (!strcmp (IDENTIFIER_POINTER (format_type), "printf"))
+ if (!strcmp (IDENTIFIER_POINTER (format_type), "printf")
+ || !strcmp (IDENTIFIER_POINTER (format_type), "__printf__"))
is_scan = 0;
- else if (!strcmp (IDENTIFIER_POINTER (format_type), "scanf"))
+ else if (!strcmp (IDENTIFIER_POINTER (format_type), "scanf")
+ || !strcmp (IDENTIFIER_POINTER (format_type), "__scanf__"))
is_scan = 1;
else
{