Add additional binary operations into the RangeCheck analysis.#61662

Merged

EgorBo merged 6 commits intodotnet:mainfrom anthonycanino:anthony/rcheck

Dec 9, 2021

+301-18

Commits on Nov 17, 2021

Add additional binary operations into the RangeCheck analysis.
anthonycanino
committed

Commits on Nov 18, 2021

Commits on Nov 19, 2021

Reduced overflow test array size to more reasonable value.
anthonycanino
committed

Commits on Dec 6, 2021