cpp-attributes

void f [[ noreturn ]] () 
{
  throw "error"; // 虽然不得返回，但可以抛出异常
}

struct * f [[carries_dependency]] (int i); // 编译优化指示
int* g(int* x, int* y [[carries_dependency]]);