diff options
Diffstat (limited to 'gdb/testsuite/gdb.chill/pr-4975.ch')
-rw-r--r-- | gdb/testsuite/gdb.chill/pr-4975.ch | 43 |
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. +*/ |