[cfe-commits] [PATCH] review request: mempcpy() checker implementation for Static Analyzer
mclow.lists at gmail.com
Wed Mar 30 18:48:43 CDT 2011
On Mar 30, 2011, at 4:35 PM, Lenny Maiorani wrote:
> On 03/30/2011 05:20 PM, Marshall Clow wrote:
>> I don't see any mention of memmove in this patch.
>> Is that deliberate?
> Only deliberate because I haven't implemented the modeling of memmove() yet. Maybe I will do that next since it is very similar and can probably use mostly the same logic.
That was my thought - just leave out the "overlapping" logic, since memmove is defined to DTRT.
Marshall Clow Idio Software <mailto:mclow.lists at gmail.com>
A.D. 1517: Martin Luther nails his 95 Theses to the church door and is promptly moderated down to (-1, Flamebait).
-- Yu Suzuki
More information about the cfe-commits