Comment #4 on issue 3773 by [email protected]: V8 is not -fsanitize=float-cast-overflow clean
https://code.google.com/p/v8/issues/detail?id=3773

Find a float-cast-overflow failure in src/conversions-inl.h,

src/conversions.h:
56: inline int FastD2I(double x) {
57:  return static_cast<int32_t>(x);
58: }

src/conversions-inl.h:
86: int32_t DoubleToInt32(double x) {
87:    int32_t i = FastD2I(x);
88:    if (FastI2D(i) == x) return i;

FastD2I(x) gives undefined behavior when x is not contained in the interval [INT_MIN, INT_MAX], even if there is check later at line 88.

--
You received this message because this project is configured to send all issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings

--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
--- You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to