[Bug analyzer/105898] RFE: -fanalyzer should complain about overlapping args to memcpy and mempcpy

2024-02-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105898 --- Comment #4 from David Malcolm --- I implemented this a different way, for memcpy, in r14-3556-g034d99e81484fb (by special-casing it). We don't yet check mempcpy, wmemcpy, or wmempcp; keeping bug open to handle those.

[Bug analyzer/105898] RFE: -fanalyzer should complain about overlapping args to memcpy and mempcpy

2022-08-12 Thread tlange at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105898 --- Comment #3 from Tim Lange --- This checker is nearly finished, but is blocked by: https://gcc.gnu.org/pipermail/gcc/2022-July/239213.html tl;dr: the current draft of the C standard does include new examples of how the restrict keyword

[Bug analyzer/105898] RFE: -fanalyzer should complain about overlapping args to memcpy and mempcpy

2022-07-02 Thread tlange at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105898 Tim Lange changed: What|Removed |Added CC||tlange at gcc dot gnu.org --- Comment #2

[Bug analyzer/105898] RFE: -fanalyzer should complain about overlapping args to memcpy and mempcpy

2022-06-08 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105898 Eric Gallager changed: What|Removed |Added CC||egallager at gcc dot gnu.org ---