1  #include <stdio.h>
       2  #include <stdlib.h>
       3  
       4  static void noReturn(const char *str) __attribute__((noreturn));
       5  static void noReturn(const char *str) {
       6      printf("%s\n", str);
       7      exit(1);
       8  }
       9  
      10  void (*noReturnPtr)(const char *str) = &noReturn;
      11  
      12  int main(int argc, char **argv) {
      13      char *str = 0;
      14      if (!str)
      15          noReturnPtr(__FILE__);
      16      return printf("%c\n", *str);
      17  }