Implement canonicalization of bounds expressions #208
Description
This is described in Section 4.5.1 of the Checked C specification. Work item #207 includes implement some basic canonicalization. There are additional features needed for canonicalization:
- Simplify array subscripting to their underlying operations.
- Desugaring pointer arithmetic into integer-based arithmetic. After this is done, casts that change pointer type can be removed.
- Applying algebraic simplifications.
- Reassociating expressions involving operators that are associate and commutative so that they are in a normal form.
- Applying distributivity rules.