r254574 - PR17381: Treat undefined behavior during expression evaluation as an unmodeled

Joerg Sonnenberger via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 8 02:13:09 PST 2015


On Mon, Dec 07, 2015 at 01:32:14PM -0800, Richard Smith via cfe-commits wrote:
> C11 6.3.1.5/1: "If the value being converted is outside the range of values
> that can be represented, the behavior is undefined."

The value of 1e100 can be represented as +inf, even if not precisely.
This is a bit different from non-IEEE math like VAX, that doesn't have
infinities.

Joerg


More information about the cfe-commits mailing list