Right. Space was allocated and partially used. What's the problem?
No, there are clear violations of as-if rule (xform produces output non-xformed ver provably doesn't produce).
-
-
Yes, that would only be valid if it were something calloc did anyway.
-
calloc can't do that. All objects have unique addresses, all array members have unique offsets.
-
:-/ If the program never checks that, isn't it as-if it can do magic?
-
That's what I was saying - without asserting non-existence of any code that sees the diff, the xform is invalid
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.