https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105898
Tim Lange <tlange at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tlange at gcc dot gnu.org
--- Comment #2 from Tim Lange <tlange at gcc dot gnu.org> ---
(In reply to Eric Gallager from comment #1)
> Doesn't -Wrestrict already kinda do this?
Partly. -Wrestrict only warns when you actually use the same variable, e.g.
memcpy (buf, buf, 4).
Doing that in the analyzer could also warn on cases like:
- memcpy (buf, alias_to_buf, 4)
- memcpy (buf, buf + 2, 4)
