ensure all alloca'd pointers are distinct