/* PR target/78582. */
/* { dg-options "-fprofile-generate" } */
/* { dg-do compile } */
/* { dg-require-effective-target nonlocal_goto } */

#include <setjmp.h>

void reader_loop () {}

int
main (int argc, char argv, char env)
{
  int a;
  setjmp (0);
  argc = a = argc;
  reader_loop ();

  return 0;
}