小编leo*_*leo的帖子

编辑: 我在评论者的帮助下弄清楚了.要回答我标题中提出的问题:不,它不是堆栈损坏,它的gdb报告错误的值.程序实际上按预期运行并具有正确的this指针.促使我发布这个问题的实际错误行为可能与我在这里描述的问题完全无关.

首先警告.我相信这是一个内存损坏问题,我通常不会期待一个答案,除了"彻底检查你的代码",但我已经看到这种行为反复出现,并希望你们中的一些人对这个问题有所见解,以及我是怎么做的可以找到它的来源.

我目前正在实施一个区间静态分析,它跟踪C程序中可能的变量范围.我的基本区间类的复制构造函数如下所示:

itvt::itvt(const itvt& i)
  : _i(i.type == INTBV ? new intbv_intervalt(i.i()) : NULL),
    _f(i.type == FLOAT ? new float_intervalt(i.f()) : NULL),
    type(i.type), other_bottom(i.other_bottom) 
{ }

现在,我发现了一个内存损坏错误并设法将其跟踪到以下代码片段:

itvt itvt::get_split(bool le) const
{
   itvt result(*this);
   [...]
}

使用gdb,我发现对构造函数的调用似乎没有构造"result"对象:

Breakpoint 1, itvt::get_split (this=0x1016af560, le=false) at itv.cpp:517
517   itvt result(*this);
(gdb) n
519   if(is_singleton() || is_bot())
(gdb) print result
$3 = {
  _i = {
    _M_ptr = 0x7fff5fbfe100
  }, 
  _f = {
    _M_ptr = 0x7fff5fbfed60
  }, 
  type = 1606410016, …