Comment #6 on issue 269 by [email protected]: comparison and difference
on unrelated pointers
http://code.google.com/p/address-sanitizer/issues/detail?id=269
In my previous comment, I wrote about the example function
check_stack_growth(...):
The comparison at line 708 is undefined as it is true
if the stack is growing in one direction or false if
the stack is growing in the other direction. That's
precisely what that function is checking, so in that
case it was a false positive.
Thinking about it, I wonder whether it's a false positive
or not. What happens if the compiler inlines function
check_stack_growth(...)? Then I'm not sure any more whether
the function will returns the expected result. So I'm
not sure how portable this function is and warning about
it does not look bad to me.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"address-sanitizer" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
