[Bug c++/83710] Unsigned with Signed multiplication followed by right shift

[chanpreet.singh at nxp dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83710

--- Comment #2 from Chanpreet Singh <chanpreet.singh at nxp dot com> ---
Can you please clarify a bit? In the above code, there are 3 vairable, c(int),
b(unsigned int) & a(int). The type of 'a*b' is expected to be (int) [same as
type of 'c', as also 'imull' instruction is used]. Shouldn't (int) type be used
for right shifting by 1?