[PATCH] D63793: Treat the range of representable values of floating-point types as [-inf, +inf] not as [-max, +max].

Sanjay Patel via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 28 16:15:18 PDT 2019


spatel accepted this revision.
spatel added a comment.
This revision is now accepted and ready to land.

I don't have much experience with the front-end and have no experience with the sanitizers, but the changes match my understanding for this type of cast/conversion, so LGTM.



================
Comment at: docs/UndefinedBehaviorSanitizer.rst:181
   -  ``-fsanitize=implicit-conversion``: Checks for suspicious
      behaviour of implicit conversions. Enables
      ``implicit-unsigned-integer-truncation``,
----------------
Independent of this patch but: 1 British behaviour in an otherwise American doc.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63793/new/

https://reviews.llvm.org/D63793





More information about the cfe-commits mailing list