/* { dg-do compile } */
/* { dg-options "-fharden-control-flow-redundancy -fno-exceptions -fdump-tree-hardcfr -ffat-lto-objects" } */
/* { dg-require-effective-target untyped_assembly } */

extern int foobar (void);

#if __cplusplus
typedef void (*fnt)(...);
#else
typedef void (*fnt)();
#endif

int i;

int f(void) {
  if (i)
    __builtin_return (__builtin_apply ((fnt)foobar,
				       __builtin_apply_args (), 0));
  return i;
}

int g(void) {
  __builtin_return (__builtin_apply ((fnt)foobar,
				     __builtin_apply_args (), 0));
}

/* Out-of-line checking, before both builtin_return and return in f.  */
/* { dg-final { scan-tree-dump-times "__hardcfr_check" 2 "hardcfr" } } */
/* Inline checking before builtin_return in g.  */
/* { dg-final { scan-tree-dump-times "__builtin_trap" 1 "hardcfr" } } */