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