GCC没有警告，尽管应该

我有一个非常简单的Hello World程序，该程序的main（）函数结尾没有返回值。如果我理解正确，这应该引发Wreturn类型警告，但是当我编译它时，根本不给出任何输出。它只是编译并完成。

程序：

#include <stdio.h>
int main() {
  printf("Hello World!\n");
}

编译命令：

gcc -Wall -Wextra -o hello.o hello.c

我还专门尝试了该Wreturn-type选项。

在Manjaro 18.0.0和GCC 8.2.1上