Combining function attributes in C

Any of the following three styles should work:

__attribute__((used)) __attribute__((section("xyz"))) int foo(void)
{
  return 42;
}



__attribute__((used,section("abc"))) int bar(void)
{
  return 43;
}



int toto(void) __attribute__((used,section("def")));

int toto(void)
{
  return 44;
}

Further details of the __attribute__ syntax are available here: https://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html

Simon.