/*
>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.
*/