gcc/testsuite/c-c++-common/analyzer/pr100546.c

   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 }