你的代码中Linux分支里，execl成功执行时不会返回，但如果调用失败（比如路径错误、权限不足），程序会继续执行到函数末尾，因此编译器发出警告。以下是仅通过属性方式解决的方案：

方案1：在execl后添加[[unreachable]]标记 #

直接在execl调用语句后添加[[unreachable]]，明确告诉编译器该位置之后的代码不可达，即使execl实际失败返回，也强制编译器忽略后续路径：

uint32_t Verify(const std::string& exe_path, const std::string& file_path)
{
#ifdef _WIN32
  // Windows code is here
  return 0;
#else
  if (pid_t pid = fork(); pid == -1)
      return 1;
  else if (!pid) {
      execl(AppData::RAR_PATH, std::filesystem::path(AppData::RAR_PATH).filename().c_str(), std::format(AppData::RAR_CMD_LINUX, file_path).c_str(), (char*)0);
      [[unreachable]]; // 标记此位置不可达，消除警告
  }
  else
  {
      int status{};
      waitpid(pid, &status, 0);
      return WIFEXITED(status) ? 1 : 0;
  }
#endif
}

注意：如果execl真的调用失败，程序执行到[[unreachable]]会触发未定义行为，若需要兼顾错误场景，可在标记前添加return语句，但此方案符合你“不调整代码结构”的要求。

方案2：使用GNU扩展属性强制标记execl调用为noreturn #

如果你的编译器支持GNU扩展（如GCC、Clang），可以给execl调用添加__attribute__((noreturn))属性，强制编译器认为该调用不会返回：

uint32_t Verify(const std::string& exe_path, const std::string& file_path)
{
#ifdef _WIN32
  // Windows code is here
  return 0;
#else
  if (pid_t pid = fork(); pid == -1)
      return 1;
  else if (!pid)
      __attribute__((noreturn)) execl(AppData::RAR_PATH, std::filesystem::path(AppData::RAR_PATH).filename().c_str(), std::format(AppData::RAR_CMD_LINUX, file_path).c_str(), (char*)0);
  else
  {
      int status{};
      waitpid(pid, &status, 0);
      return WIFEXITED(status) ? 1 : 0;
  }
#endif
}

这个属性直接作用于当前调用，告诉编译器无需考虑execl返回的情况，从而消除警告。

内容的提问来源于stack exchange，提问作者The Welder