This PR updates tests for checkedc-clang/1135. When the new method GetVariableAndConstant is used to compare two upper bounds expressions, the bounds checker is able to prove that the inferred bounds bounds(arr, arr + 5) are equivalent to the required cast bounds bounds((_Array_ptr<int _Checked[]>)&arr, (_Array_ptr<int _Checked[]>)&arr + 1))
This issue was copied from https://github.com/microsoft/checkedc/issues/463
This PR updates tests for checkedc-clang/1135. When the new method
GetVariableAndConstant
is used to compare two upper bounds expressions, the bounds checker is able to prove that the inferred boundsbounds(arr, arr + 5)
are equivalent to the required cast boundsbounds((_Array_ptr<int _Checked[]>)&arr, (_Array_ptr<int _Checked[]>)&arr + 1))