[Bug c++/50593] improve __attribute__((format(printf)))

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50593

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-04 10:30:44 UTC ---
Created attachment 25408
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25408
hacked patchlet

Indeed, this kind of hacked (*) patch fixes tests 2 and 6 here (doesn't fix
tests 7 and 8) and also tests @ lines 10 and 13 of PR38980 (doesn't fix
non-const tests there). I don't know if we want to build on it or we want to do
something more invasive touching code in gcc/ and in gcc/c-family...

(*) But safe, AFAICS, because at the moment, besides check_format_arg, no other
code in c-family actually used by the C++ front-end calls decl_constant_value.