Resolve "Replace shr_ro by overflow-free alternatives" Closes #1770 See merge request !1826
mentioned in issue #1777 (closed)
mentioned in issue #1778 (closed)