Resolve "replace shr_o by Overflow-free alternatives" Closes #1772 See merge request !1829
mentioned in issue #1786 (closed)
mentioned in issue #1787 (closed)
mentioned in issue #1788 (closed)