1 files changed, 43 insertions, 0 deletions
diff --git a/gdb/testsuite/gdb.chill/pr-4975.ch b/gdb/testsuite/gdb.chill/pr-4975.ch
new file mode 100644
index 00000000000..dbba064a728
--- /dev/null
+++ b/gdb/testsuite/gdb.chill/pr-4975.ch
@@ -0,0 +1,43 @@
+/*
+>Number:         4975
+>Category:       chill
+>Synopsis:       Segmentation fault of gdb 4.12.1
+>Description:
+
+    Problem: gdb 4.12.1 segment faults with following chill program.
+*/
+
+gdb_bug: MODULE
+
+<> USE_SEIZE_FILE "pr-4975-grt.grt" <>
+SEIZE is_channel_type;
+
+  SYNMODE chan_type = POWERSET is_channel_type;
+  SYN     hugo chan_type = [chan_1, chan_3];
+
+DCL otto is_channel_type := chan_2;
+
+x: PROC ();
+
+  IF otto IN hugo THEN
+    WRITETEXT (STDOUT, "otto IN hugo%/");
+  ELSE
+    WRITETEXT (STDOUT, "You loose%/");
+  FI;
+END x;
+
+x ();
+
+END gdb_bug;
+/*
+Compiled with:
+
+   chill -S -fgrant-only pr-315-grt.ch
+   chill -g -o pr-315 pr-315.ch
+
+Run gdb with
+
+   gdb pr-315 --readnow
+
+will result in a sigsegv in file gdbtypes.c function force_to_range_type.
+*/