-fcatch-undefined-behavior: Runtime library support for trapping conversions to or

from a floating-point type where the source value is not in the range of
representable values of the destination type.


git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@165844 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/ubsan/ubsan_handlers.cc b/lib/ubsan/ubsan_handlers.cc
index fa3c1e0fc..2cb12c459 100644
--- a/lib/ubsan/ubsan_handlers.cc
+++ b/lib/ubsan/ubsan_handlers.cc
@@ -134,3 +134,11 @@ void __ubsan::__ubsan_handle_vla_bound_not_positive(VLABoundData *Data,
     << Value(Data->Type, Bound);
   Die();
 }
+
+void __ubsan::__ubsan_handle_float_cast_overflow(FloatCastOverflowData *Data,
+                                                 ValueHandle From) {
+  Diag(SourceLocation(), "value %0 is outside the range of representable "
+                         "values of type %2")
+    << Value(Data->FromType, From) << Data->FromType << Data->ToType;
+  Die();
+}