1  /* PR target/78582. */
       2  /* { dg-options "-fprofile-generate" } */
       3  /* { dg-do compile } */
       4  /* { dg-require-effective-target nonlocal_goto } */
       5  
       6  #include <setjmp.h>
       7  
       8  void reader_loop () {}
       9  
      10  int
      11  main (int argc, char argv, char env)
      12  {
      13    int a;
      14    setjmp (0);
      15    argc = a = argc;
      16    reader_loop ();
      17  
      18    return 0;
      19  }