递归 C void 函数和 return 关键字

有人知道以下之间的内部区别：

void RecFoo1(int bar){
  if (bar == 0)
    return ;
  RecFoo1(bar - 1);
}

and

void RecFoo2(int bar){
  if (bar == 0)
    return ;
  return RecFoo2(bar - 1);
}

我确信放置 return 关键字总是更好。如果递归函数不是 void 函数，则会收到警告-Wreturn-type。但是这两段代码的编译/执行方式是否相同？机器的内部差异是什么？

我的函数示例很愚蠢，但它构成了一种最小的示例......

C 标准对此非常清楚，您的 RecFoo2 示例不是有效的 C 程序：

6.3.2.2 无效

void 表达式（具有的表达式）的（不存在的）值 type void）不得以任何方式使用，...

and

6.8.6.4 返回语句

约束条件

带表达式的 return 语句不得出现在函数中 其返回类型为 void。