[deliverable/binutils-gdb.git] / gdb / testsuite / gdb.chill / pr-4975.ch

/*
>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.
*/
Commit	Line	Data
c906108c SS	1	/*
	2	>Number: 4975
	3	>Category: chill
	4	>Synopsis: Segmentation fault of gdb 4.12.1
	5	>Description:
	6
	7	Problem: gdb 4.12.1 segment faults with following chill program.
	8	*/
	9
	10	gdb_bug: MODULE
	11
	12	<> USE_SEIZE_FILE "pr-4975-grt.grt" <>
	13	SEIZE is_channel_type;
	14
	15	SYNMODE chan_type = POWERSET is_channel_type;
	16	SYN hugo chan_type = [chan_1, chan_3];
	17
	18	DCL otto is_channel_type := chan_2;
	19
	20	x: PROC ();
	21
	22	IF otto IN hugo THEN
	23	WRITETEXT (STDOUT, "otto IN hugo%/");
	24	ELSE
	25	WRITETEXT (STDOUT, "You loose%/");
	26	FI;
	27	END x;
	28
	29	x ();
	30
	31	END gdb_bug;
	32	/*
	33	Compiled with:
	34
	35	chill -S -fgrant-only pr-315-grt.ch
	36	chill -g -o pr-315 pr-315.ch
	37
	38	Run gdb with
	39
	40	gdb pr-315 --readnow
	41
	42	will result in a sigsegv in file gdbtypes.c function force_to_range_type.
	43	*/