https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118004
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2024-12-12
Status|UNCONFIRMED |NEW
CC| |manu at gcc dot gnu.org
--- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
__attribute__ ((access (read_only, 2)))
int printf(const char *format, const char *x);
// Type your code here, or load an example.
void f2() {
char not_secret[7];
printf("f2 %s\n", not_secret);
}
The above gives the correct warning, so what is needed is a way to apply the
attribute "access" to "...", which will allow applying it to
__builtin_printf__().
That would be more useful than special casing __builtin_printf__ in the
Wuninitialized code.
