gcc/testsuite/gcc.target/arm/cmse/pr100333.c

/* { dg-do compile } */
/* { dg-additional-options "-mcmse" } */
typedef void __attribute__((cmse_nonsecure_call)) t(void);
t g;
void f() {
  g();
}