1 files changed, 46 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/overflow-mul-3.c b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/overflow-mul-3.c
new file mode 100644
index 000000000..037609be0
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/overflow-mul-3.c
@@ -0,0 +1,46 @@
+/* { dg-do run } */
+/* { dg-options "-fsanitize=signed-integer-overflow" } */
+
+#include <stdio.h>
+
+__attribute__((noinline, noclone)) long long
+mul (long long x, long long y)
+{
+  return x * y;
+}
+
+long long tab[] = {
+  0x7fffffffLL, 0x7fffffffLL, 0x3fffffff00000001LL,
+  -0x80000000LL, -0x80000000LL, 0x4000000000000000LL,
+  0x7fffffffLL, -0x80000000LL, -0x3fffffff80000000LL,
+  -0x80000000LL, 0x7fffffffLL, -0x3fffffff80000000LL,
+  3LL, 5LL, 15LL,
+  -3LL, -9LL, 27LL,
+  6LL, -7LL, -42LL,
+  -12LL, 13LL, -156LL,
+  0x1555555555555555LL, 6LL, 0x7ffffffffffffffeLL,
+  -0x1555555555555555LL, -6LL, 0x7ffffffffffffffeLL,
+  0x1555555555555555LL, -6LL, -0x7ffffffffffffffeLL,
+  -0x1555555555555555LL, 6LL, -0x7ffffffffffffffeLL,
+  0x81234567LL, 0xfdbe971fLL, 0x7fffffffbea72879LL,
+  -0x81234567LL, -0xfdbe971fLL, 0x7fffffffbea72879LL,
+  0x81234567LL, -0xfdbe971fLL, -0x7fffffffbea72879LL,
+  -0x81234567LL, 0xfdbe971fLL, -0x7fffffffbea72879LL
+};
+
+int
+main ()
+{
+  fputs ("UBSAN TEST START\n", stderr);
+
+  unsigned int i;
+  for (i = 0; i < sizeof (tab) / sizeof (long long); i += 3)
+    if (mul (tab[i], tab[i + 1]) != tab[i + 2]
+        || mul (tab[i + 1], tab[i]) != tab[i + 2])
+      __builtin_abort ();
+
+  fputs ("UBSAN TEST END\n", stderr);
+  return 0;
+}
+
+/* { dg-output "UBSAN TEST START(\n|\r\n|\r)UBSAN TEST END" } */