使用lldb调试阵列时,设置的lower bound为何无效?-灵析社区

抠香糖

编译一个系数不从0开始的阵列: my_arr : ARRAY [1..100] OF REAL; my_arr[1] := 5.0; 声明阵列并赋值的IR代码如下: %my_arr = alloca [100 x float], align 4, !dbg !21 call void @llvm.dbg.declare(metadata [100 x float]* %my_arr, metadata !14, metadata !DIExpression()), !dbg !21 %0 = getelementptr inbounds [100 x float], [100 x float]* %my_arr, i32 0, i32 0, !dbg !23 store float 5.000000e+00, float* %0, align 4, !dbg !23 ... !14 = !DILocalVariable(name: "my_arr", arg: 1, scope: !10, file: !1, line: 8, type: !15) !15 = !DIDerivedType(tag: DW_TAG_typedef, name: "a", file: !1, baseType: !16) !16 = !DICompositeType(tag: DW_TAG_array_type, baseType: !17, size: 3200, elements: !18) !17 = !DIBasicType(name: "float", size: 32, encoding: DW_ATE_float) !18 = !{!19} !19 = !DISubrange(count: 100, lowerBound: 1) 使用gdb对elf文件进行调试时,可以正确输出 `my_arr[1]` 的值: (gdb) print my_arr[0] $1 = 1.34668156e+34 (gdb) print my_arr[1] $2 = 5 但在使用lldb调试同一个elf文件时,定义的 `lowerBound: 1` 无效: (lldb) print my_arr[0] (float) $0 = 5 (lldb) print my_arr[1] (float) $1 = -3.90663904E-16 造成lldb不能正确匹配系数地址的原因是什么?是否有办法规避呢?

阅读量:459

点赞量:8

问AI
在 GitHub 上提了 issue:"https://github.com/llvm/llvm-project/issues/65713" (https://link.segmentfault.com/?enc=uLTUH7eH8UMSqLybEyosgA%3D%3D.%2Fm%2Fn86lSUF30e4uBASg0vmozJUxezNI8XN%2FkaSBUb0ZgBXn5u5b7G2dOsAlmrBE3sw1aUKbGSIk6DLYB7QpcRg%3D%3D) 目前 lldb 限制下想到的解决方案就是 debug 界面包一层自己的 reproducer 了。