GDB打印变量值不正确

最近在工作中遇到使用GDB查看调试版程序变量值不正确的问题，但是使用printf输出变量值是正确的，现象如下图：

源码如下：

#include <stdio.h>

void func(int *p)
{
        printf("p=%p\n", p);
        p = (int *)0x101;
        printf("p=%p\n", p);
}

void func(int *p, char *ch)
{
        //printf("!!!p=%p ch=%p\n", p, ch);
        p = (int *)0x102;
        ch = (char *)0x201;
        printf("!!!p=%p ch=%p\n", p, ch);
}

int main(void)
{
        int *p = (int *)0x100;
        char *ch = (char *)0x200;
        func(p);
        func(p, ch);
        return 0;
}

在注释掉func函数开始的printf时，就会出现第一张图中的现象。而如果打开，则gdb显示正常。搜索发现是gdb的问题，在编译时可以加上编译参数-fvar-tracking来解决。详细说明，请查看以下链接https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54218

加上编译参数-fvar-tracking后，运行如下图：