predicates_safe_to_cancel now considers two uintptr predicates always safe to cancel; similarly for two uint predicates if they have the same bit width. This is in contrast to the previous behavior where the value in the conclusion predicate had to be a simple evar.
default_careful_reflexivity_step now simplifies the equality two uintptr predicates (without addresses) to the equality of their values; similarly for two uint predicates if they have the same bit width.
In LiveVerif, with this PR,
predicates_safe_to_cancel
now considers twouintptr
predicates always safe to cancel; similarly for twouint
predicates if they have the same bit width. This is in contrast to the previous behavior where the value in the conclusion predicate had to be a simple evar.default_careful_reflexivity_step
now simplifies the equality twouintptr
predicates (without addresses) to the equality of their values; similarly for twouint
predicates if they have the same bit width.