id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
452,+RTS -xc and SIGINT handler gives seg fault,fergus,nobody,"{{{
To reproduce this bug, save the attached file Bug.hs, 
run the following commands

  ghc -package posix -prof -auto-all Bug.hs
  ./a.out +RTS -xc

and then hit control-C.  The result is a SIGSEGV inside
fprintCCS().

}}}",bug,closed,normal,,Profiling,None,Fixed,,,,,,,,,,