http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55271
--- Comment #2 from Dmitry G. Dyachenko <dimhen at gmail dot com> 2012-11-11 18:42:25 UTC --- oh, was over-simplified example. Sorry void f1() { char ch; char *p = &ch; *p = 0; } Now 2 variables are 'set-but-unused'?