c++ - 如果不知道数组的大小，LLVM GEP 是否安全？

Question

我正在尝试使用 GEP 从数组中获取 i32 的指针。

但问题是:我不知道数组的大小。

llvm.org 上的 IR 文档说 GEP 只是将偏移量添加到基地址，并使用静默包装二进制补码算法。

所以，我想请教一些建议。这样安全吗:

%v1 = alloca i32
store i32 5, i32* %v1
%6 = load i32* %v1
%7 = bitcast i32* %v0 to [1 x i32]*
%8 = getelementptr [1 x i32]* %7, i32 0, i32 %6
%9 = load i32* %8
store i32 %9, i32* %v0

%v0 的类型是 i32*，我知道 %v0 指向内存中的一个数组，但大小是 9，而不是 1。然后我从 %7 中“GEP”，我将其视为 [1 x i32]，而不是 [9 x i32]，但“偏移量”是 5(%6)。

那么，有什么问题吗？不安全，或者只是不好但基本没问题？

Answer 1

首先，你写的整个代码相当于:

%x = getelementptr i32* %v0, i32 5
%y = load i32* %x
store i32* %y, %v0

没有理由将指针转换为指向 [1 x i32]* 的指针，只需按原样使用即可。

关于您的问题——使用 gep 获取指针始终是安全的(在它定义明确且永远不会崩溃的意义上)，但是没有什么可以阻止它评估超出数组边界的指针；在这种情况下，访问内存(就像您在后续的 load 指令中所做的那样)是未定义的。

此外，此链接可能很有趣:http://llvm.org/docs/GetElementPtr.html#what-happens-if-an-array-index-is-out-of-bounds