索引指针时 C 到 WebAssembly 失败

Question

我正在尝试使用 C 到 WebAssembly。但我无法理解以下内容：

int atAddressN(unsigned int idx) {
  unsigned int* intptr = 0;
  return intptr[idx];
}

int atAddress2(unsigned int idx) {
  unsigned int* intptr = 0;
  return intptr[2];
}

结果如下 wasm/wat：

(module
 (table 0 anyfunc)
 (memory $0 1)
 (export "memory" (memory $0))
 (export "atAddressN" (func $atAddressN))
 (export "atAddress2" (func $atAddress2))
 (func $atAddressN (; 0 ;) (param $0 i32) (result i32)
  (unreachable)
  (unreachable)
 )
 (func $atAddress2 (; 1 ;) (param $0 i32) (result i32)
  (i32.load offset=8
   (i32.const 0)
  )
 )
)

所以第二个函数没问题，但第一个函数只产生(unreachable)。我应该做些什么来让它编译好吗？

Answer 1

空指针解引用确实是个问题，改成：

int atAddressN(unsigned int* intptr, unsigned int idx) {
  return intptr[idx];
}

int atAddress2(unsigned int* intptr, unsigned int idx) {
  return intptr[2];
}

结果

(module
 (table 0 anyfunc)
 (memory $0 1)
 (export "memory" (memory $0))
 (export "atAddressN" (func $atAddressN))
 (export "atAddress2" (func $atAddress2))
 (func $atAddressN (; 0 ;) (param $0 i32) (param $1 i32) (result i32)
  (i32.load
   (i32.add
    (get_local $0)
    (i32.shl
     (get_local $1)
     (i32.const 2)
    )
   )
  )
 )
 (func $atAddress2 (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
  (i32.load offset=8
   (get_local $0)
  )
 )
)

然后我将使用0 作为第一个参数调用该函数。

Answer 2

创建一个调用该函数的测试用例，使用调试符号-g 进行编译，并使用gdb 之类的调试器逐步完成它。这是一个典型的调试会话。

程序收到信号SIGSEGV，分段错误。 0x0000000000401147 在 atAddressN (idx=3) 在 e.c:4 4 返回intptr[idx];

(gdb) print intptr[idx]
Cannot access memory at address 0xc

gdb print 命令揭示了这个问题。

在测试方面，WebAssembly 并没有什么特别之处。这些测试的孩子通常也可以编译为可执行文件。

//test.c
int main (){ printf("int 3 is %i\n", atAddressN(3)); return 0;}