re PR rtl-optimization/51023 (likely integer wrong code bug)