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
