1 Oct
2011
1 Oct
'11
11:27 a.m.
On Sat, Oct 1, 2011 at 4:38 AM, Hakan Ardo <hakan@debian.org> wrote:
On Fri, Sep 30, 2011 at 11:17 PM, Maciej Fijalkowski <fijall@gmail.com> wrote:
On Fri, Sep 30, 2011 at 6:15 PM, Hakan Ardo <hakan@debian.org> wrote:
Hi, is there a better way to fix this? The same kind of issue might arise elsewhere?
Make sure that raw_memcopy has the correct effect on analyzer?
What effect would that be? Setting extraeffect=EF_RANDOM_EFFECTS as it can write anywhere? Can I then somehow give ll_arraycopy a more restrictive effectinfo?
Armin commited this on trunk: 78fddfb51114
-- Håkan Ardö