let prop_cmp_ptr mem cmpop e1 e2 = let t1 = M.pointer_of_loc (loc_of_value (expr_rec_spec_null mem e1)) in let t2 = M.pointer_of_loc (loc_of_value (expr_rec_spec_null mem e2)) in pcmp_rel cmpop t1 t2