https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88518
Martin Sebor changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88518
--- Comment #5 from Eric Gallager ---
(In reply to Matthew Wilcox from comment #2)
> Thanks! What I actually want to do is annotate g() to the effect that it
> reads the pointed-to variable before it writes it. IOW, I want to write
> something
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88518
--- Comment #4 from Eric Gallager ---
Note that if h() has __attribute__((pure)) or __attribute__((const)) on it, you
then get the -Wuninitialized warning as expected. Of course, then you also get
a warning from -Wattributes about pure or const b
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88518
Richard Biener changed:
What|Removed |Added
Severity|normal |enhancement
--- Comment #3 from Richard
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88518
--- Comment #2 from Matthew Wilcox ---
Thanks! What I actually want to do is annotate g() to the effect that it reads
the pointed-to variable before it writes it. IOW, I want to write something
like:
void g(unsigned long __attribute__((read_be
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88518
Andrew Pinski changed:
What|Removed |Added
Keywords||diagnostic
--- Comment #1 from Andrew Pi
