如何让GDB检测Fortran代码数组越界？附VSCode调试配置

要让GDB能检测Fortran数组越界写入，得从编译和调试配置两方面入手，缺一不可：

1. 配置编译任务，生成带边界检查的可执行文件 #

GDB本身没法凭空检测数组越界，得让gfortran编译时就加入边界检查逻辑，同时生成调试符号。具体要加两个编译选项：

• -g：生成调试信息，让GDB能把出错位置关联到你的代码行
• -fbounds-check：让gfortran在运行时主动检查数组下标是否越界，一旦越界直接触发错误

你可以在VSCode里配置tasks.json来自动用这些选项编译：

{
    "version": "2.0.0",
    "tasks": [
        {
            "label": "Compile Fortran with bounds check",
            "type": "shell",
            "command": "gfortran",
            "args": [
                "-g",
                "-fbounds-check",
                "${file}",
                "-o",
                "${fileDirname}\\${fileBasenameNoExtension}.exe"
            ],
            "group": {
                "kind": "build",
                "isDefault": true
            },
            "problemMatcher": ["$gcc"]
        }
    ]
}

之后按Ctrl+Shift+B就能用这个任务编译代码了。

2. 调整调试配置，让GDB捕获越界错误 #

修改你原来的launch.json，添加GDB的启动命令确保边界检查生效，同时确保指向的是刚编译好的带检查的可执行文件：

{
    "version": "0.2.0",
    "configurations": [
        {
            "name": "Run GDB with bounds check",
            "type": "cppdbg",
            "request": "launch",
            "program": "${fileDirname}\\${fileBasenameNoExtension}.exe",
            "args": [],
            "stopAtEntry": false,
            "cwd": "${fileDirname}",
            "externalConsole": true,
            "MIMode": "gdb",
            "miDebuggerPath": "C:\\Program Files\\msys64\\mingw64\\bin\\gdb.exe",
            "setupCommands": [
                {
                    "description": "Enable pretty-printing for gdb",
                    "text": "-enable-pretty-printing",
                    "ignoreFailures": true
                },
                {
                    "description": "Enable array bounds checking support",
                    "text": "set check on",
                    "ignoreFailures": false
                }
            ]
        }
    ]
}

效果验证 #

编译代码后启动调试，一旦出现数组越界写入，程序会立刻停止，GDB会弹出类似这样的错误信息：

Fortran runtime error: Index '3' of dimension 1 of array 'arr' above upper bound of 2

同时会自动定位到你代码里越界的那一行，方便排查问题。

内容的提问来源于stack exchange，提问作者Millemila