replace L_shr_o by overflow-free alternatives
<!--- Add commit SHA used to reproduce -->
<!--- Below are labels that will be added but are not shown in description. This is a template to help fill them.
Add further information to the first row and remove and add labels as necessary. -->
issue