[cfe-commits] [PATCH] review request: mempcpy() checker implementation for Static Analyzer

Marshall Clow mclow.lists at gmail.com
Wed Mar 30 16:48:43 PDT 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

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 mailing list