free is a killer

[Jeff Law]

On 10/29/13 00:38, Marc Glisse wrote:
>
> Indeed. Do you want to commit it xfailed or put it in bugzilla so we
> don't lose it? (it becomes harder if you replace p with p-1 in the
> memset arguments).
I'll either add it as xfailed, or I'll add it as-is if I fix the alias 
code.   It'd primarly be to address the current incorrect state of the 
code as it stands today rather than to extensively feature test this code.


>
> Sounds good, but I am not really up to rewriting the points-to analysis
> at the moment...
Understandable.  Never hurts to put a bug in someone's ear, you never 
know when they (or someone else reading) will run with it.

jeff