gdb/testsuite/gdb.chill/pr-4975.ch

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