[Ur] missunderstanding - or serious memory handling issue?

Adam Chlipala adamc at impredicative.com
Tue Dec 7 20:42:45 EST 2010


Marc Weber wrote:
> You're right: ur itself is not writing to the memory. There is still a
> segfault. What's wrong ? Should I be using malloc only?
>    

Yes, no callback should touch any uw_malloc()ed memory.



More information about the Ur mailing list