1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/lto/c-compatible-types-1_0.c b/gcc/testsuite/gcc.dg/lto/c-compatible-types-1_0.c
new file mode 100644
index 00000000000..376da00599d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/lto/c-compatible-types-1_0.c
@@ -0,0 +1,22 @@
+/* { dg-lto-do run } */
+/* { dg-lto-options "-O3" } */
+
+/* By C standard Each enumerated type shall be compatible with char, a  signed
+   integer, type, or an unsigned integer type. The choice of type is
+   implementation-defined.  Check that enum and unsigned int match.  */
+unsigned int a;
+unsigned int *b;
+void t();
+
+void reset ()
+{
+  asm("":"=r"(a):"0"(0));
+}
+int
+main()
+{
+  asm("":"=r"(a):"0"(1));
+  asm("":"=r"(b):"0"(&a));
+  t();
+  return 0;
+}