1 files changed, 64 insertions, 0 deletions
diff --git a/gcc/testsuite/c-c++-common/dfp/convert-int-saturate.c b/gcc/testsuite/c-c++-common/dfp/convert-int-saturate.c
new file mode 100644
index 000000000..c92502d56
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/dfp/convert-int-saturate.c
@@ -0,0 +1,64 @@
+/* N1150 5.1 Conversion between decimal floating integer.
+   C99 6.3.1.4(1a) New.
+   Test integer saturation.  */
+
+#ifndef	__STDC_WANT_DEC_FP__
+#define __STDC_WANT_DEC_FP__ 1
+#endif
+
+#include "dfp-dbg.h"
+#include <float.h>
+#include <limits.h>
+
+volatile _Decimal32 d32;
+volatile _Decimal64 d64;
+volatile _Decimal128 d128;
+
+volatile signed int si;
+volatile unsigned int usi;
+volatile unsigned long long udi;
+
+int
+main ()
+{
+
+  /* Unsigned.  */
+  usi = DEC32_MAX;  /* { dg-warning "overflow in implicit constant conversion" } */
+  if (usi != UINT_MAX)
+    FAILURE
+
+  usi = DEC64_MAX;  /* { dg-warning "overflow in implicit constant conversion" } */
+  if (usi != UINT_MAX)
+    FAILURE
+
+  usi = DEC128_MAX; /* { dg-warning "overflow in implicit constant conversion" } */
+  if (usi != UINT_MAX)
+    FAILURE
+
+  /* Signed.  */
+  si = DEC32_MAX;	/* { dg-warning "overflow in implicit constant conversion" } */
+  if (si != INT_MAX)
+    FAILURE
+
+  si = DEC64_MAX;   /* { dg-warning "overflow in implicit constant conversion" } */
+  if (si != INT_MAX)
+    FAILURE
+
+  si = DEC128_MAX;  /* { dg-warning "overflow in implicit constant conversion" } */
+  if (si != INT_MAX)
+    FAILURE
+
+  si = - DEC32_MAX; /* { dg-warning "overflow in implicit constant conversion" } */
+  if (si != INT_MIN)
+    FAILURE
+
+  si = - DEC64_MAX; /* { dg-warning "overflow in implicit constant conversion" } */
+  if (si != INT_MIN)
+    FAILURE
+
+  si = - DEC128_MAX; /* { dg-warning "overflow in implicit constant conversion" } */
+  if (si != INT_MIN)
+    FAILURE
+
+  FINISH
+}