1 /* -*- C -*-
   2  *
   3  * $HEADER$
   4  *
   5  * A program that just segfaults
   6  */
   7 
   8 #include <stdio.h>
   9 
  10 int main(int argc, char* argv[])
  11 {
  12 
  13     double pi;
  14     char *dum=NULL;
  15 
  16     pi = (double)*dum;
  17 
  18 }