[Bug middle-end/36300] Incorrect type used for inlined expression

[acarmeli at mathworks dot com]

------- Comment #11 from acarmeli at mathworks dot com  2008-05-28 11:30 -------
I believe there is still a violation of the C standard when expression folding
folds this.

The attached file demonstrates this.

In step 7, we perform 4*3 in 32-bit and expect to get a 12 in a 64-bit.
It should be possible to perform this without overflow and represent in 64-bit.
It should be possible to divide the result in 3 and get the original number: 4

However, the folded expression does not permit this to happen.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36300