Clang使用var args编译对void函数的调用[重复]

Question

我正在尝试模拟一个项目，以便我可以测试一个遍历 CG 的 opt pass，但是我在 main 中被 clang 的一个奇怪的编译选择阻止了，而 llvm-link 进一步加剧了这种情况。我给你一些代码：

main.c:

#include "xos/xos.h"

int main() {

  playXOs();

  return 0;
}

xos.h:

#ifndef SLICEREXAMPLEPROJECT_XOS_H
#define SLICEREXAMPLEPROJECT_XOS_H

void playXOs();

#endif // SLICEREXAMPLEPROJECT_XOS_H

我单独编译：

; Function Attrs: noinline nounwind optnone uwtable
define dso_local i32 @main() #0 {
  %1 = alloca i32, align 4
  store i32 0, i32* %1, align 4
  call void(...) @playXOs()
  ret i32 0
}

declare dso_local void @playXOs(...) #1

然后与其他文件链接：

define dso_local i32 @main() #0 {
  %1 = alloca i32, align 4
  store i32 0, i32* %1, align 4
  call void (...) bitcast (void ()* @playXOs to void (...)*)()
  ret i32 0
}

在最初的编译中，如果我理解正确，认为playXOs 是一个var arg 函数？如果我手动编辑 main.ll 以将调用站点和转发声明更改为不是 playXOs(...) 则链接文件中没有奇怪的位广播。有人有解决办法吗？

llvm 信息：

clang version 8.0.0 (git@github.com:llvm-mirror/clang.git 8ca7a0dcb7e9a0cd7bf71ff4b70e12462c16f205) (git@github.com:llvm-mirror/llvm.git e9eedd7fa6f4f861afbc7a2862f3f5504e6d340f)
Target: x86_64-unknown-linux-gnu
Thread model: posix

编辑：我忘了提，这对我来说是个问题，因为虽然我得到的 CG 包含playXOs 的调用站点，但 CallGraphNode 有一个空函数。

Answer 1

像“int f()”这样的声明意味着 f 是一个具有固定数量参数的函数，但我们不知道有多少参数。它不是具有可变数量参数的函数。它可能是一个带有 0、1、2、3... 参数的函数，我们只是不知道是哪一个。

还有一个要求，即所有参数的类型（我们不知道）是“通常的提升”结果的类型。所以真正的函数不能是“int f (float x)”，因为调用 f (3.0f) 会使 3.0f 加倍，然后调用就会出错。

当你实际调用 say f (3.0f, (char) 1) 时，编译器会将 3.0f 提升为 double，将 (char) 1 提升为 int，如果实际函数为“int”，则生成正确的代码f（双 x，int y）”。如果这个猜测是错误的，你的应用程序很可能会崩溃。

当然，如果实际函数是“int f(void)”并且你调用 f() 一切都很好。但是您可以调用 f(1) ，那将是未定义的行为。

Answer 2

像往常一样，你会花一两个小时感到完全困惑，放弃并在 SO 上发帖，几秒钟后找到答案。

我将标头声明更改为 void playXOs(void) 以明确将其标记为没有任何参数，并且它在没有任何强制转换或 VA 猜测的情况下编译。

有人能指出我在 c 规范中说编译器不能假设 f() 是 f(void) 而不是 f(...) 吗？会接受这个作为答案。