[sledge] Factor out some commonality between realloc specs
[sledge] Factor out some commonality between realloc specs

Differential Revision: D31912684

fbshipit-source-id: a30a0bfca

jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer