Subversion Repositories or1k

/*

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

*/