https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2022-01-31
Ever confirmed|0 |1
Status|UNCONFIRMED |ASSIGNED
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug; confirmed.
-Wanalyzer-use-of-uninitialized-value is new as of gcc 12.
Current trunk gives me:
https://godbolt.org/z/4bfE1TW61
In function ‘main’:
cc1: warning: use of uninitialized value ‘*(short unsigned int *)&s + 1’
[CWE-457] [-Wanalyzer-use-of-uninitialized-value]
‘main’: event 1
|
|foo.c:2:19:
| 2 | int main() { char s[5]; memmove(s, s + 1, 2); }
| | ^
| | |
| | (1) region created on stack here
|
‘main’: event 2
|
|cc1:
| (2): use of uninitialized value ‘*(short unsigned int *)&s + 1’ here
|
where event (1) has a location, but (2) doesn't.
