diff --git a/test/val/bug1245.c b/test/val/bug1245.c
new file mode 100644
index 000000000..2dda93790
--- /dev/null
+++ b/test/val/bug1245.c
@@ -0,0 +1,12 @@
+/* bug #1245 - ICE for enums with int initializers */
+
+#include <stdlib.h>
+
+enum E {
+    X = 1000,
+} e = 3;
+
+int main(void)
+{
+    return EXIT_SUCCESS;
+}