let expr_cond_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_operator cmpop t1 t2