* Beware: Works only if integer overflow might be ignored, as for C, Java
* and for address expression.
* Works only if Constant folding is activated.
*
* Beware: Works only if integer overflow might be ignored, as for C, Java
* and for address expression.
* Works only if Constant folding is activated.
*