44 lines
762 B
Text
44 lines
762 B
Text
|
/*
|
||
|
|
>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.
|
||
|
|
*/
|