A segmentation violation when doing the out-of-bounds access would be a possible behaviour of C* code.

Concerning the intent: Note that the result of the out-of-bounds access is not being used. Looks to me like SATD() just produces the sum of absolute values of d.