On 21 October 2014 18:34, Yoann Padioleau <pad@fb.com> wrote:

but (0:int + x) would not do the same thing? What is special about using SUB instead

of ADD?

you can't subtract pointers from 0 but you can add 0 to a pointer, since + is commutative