/* { dg-require-effective-target sigsetjmp } */

#include "test-setjmp.h"
#include <stddef.h>
#include "analyzer-decls.h"

static sigjmp_buf env;

static void inner (void)
{
  sigsetjmp (env, 0); /* { dg-message "'sigsetjmp' called here" } */
}

void outer (void)
{
  int i;

  inner ();

  siglongjmp (env, 42); /* { dg-warning "'siglongjmp' called after enclosing function of 'sigsetjmp' has returned" } */
}