这可能有什么问题吗？

Question

顺便说一句：我发现了问题：（请参阅下面的答案）

---

当我在家构建程序时，它工作正常，但是当我使用大学系统时，我的系统就会崩溃。当我使用 GDB 进行处理时，我得到以下信息：

(gdb) r t.c-
Starting program: /home/shro8822/p5/c- t.c-
*--Code Gen Function: main
*--in function 'main' variable offsets start at 2

Program received signal SIGSEGV, Segmentation fault.
0x08084410 in ObjectCode::ResolveRef (this=0xbfb3dd20) at CodeOutput.cpp:44

44                      p->Resolve(this);

(gdb) list

39      {
40              std::list<Patch*>::iterator pos;
41              for(pos = Patchups.begin(); pos != Patchups.end(); ++pos)
42              {
43                      Patch* p = *pos;
44                      p->Resolve(this);
45                      //delete p;
46              }
47
48      }

(gdb) p p
$1 = (class ObjectCode::Patch *) 0x2064696c
(gdb) p this
$2 = (ObjectCode * const) 0xbfb3dd20

它从 SEG-V 崩溃，该行上有一个涉及 2 个变量的虚拟函数调用，而且两个变量都不是 NULL。我认为没有其他任何地方会删除此列表中的内容。

将其扔到 Valgrind 会出现一个错误：

==5714== Invalid read of size 4
==5714==    at 0x8084410: ObjectCode::ResolveRef() (CodeOutput.cpp:44)
==5714==    by 0x8086E00: ObjectCode::Finish() (CodeOutput.cpp:196)
==5714==    by 0x807EC97: WalkGlobal::Finish() (CodeGen_G.cpp:211)
==5714==    by 0x808D53C: Compile::RunV() (cs445.cpp:120)
==5714==    by 0x808D7C2: ProcessFile::Run() (cs445.cpp:49)
==5714==    by 0x808CCD9: main (cs445.cpp:234)
==5714==  Address 0x2064696C is not stack'd, malloc'd or (recently) free'd
Seg fault

有什么想法要开始寻找吗？

---

顺便说一句：我仅使用如下语句填充列表：Patchups.push_back(new PatchType());

shro8822 p5 $ grep Patchups *.cpp *.h -n
CodeOutput.cpp:41:      for(pos = Patchups.begin(); pos != Patchups.end(); ++pos)
CodeOutput_Slot.cpp:124:        { Stream->Patchups.push_back(new FunctionPatch(it,GetSlotBefor(),at)); }
CodeOutput_Slot.cpp:126:        { Stream->Patchups.push_back(new GotoPatch(target,GetSlotBefor(),at,"goto")); }
CodeOutput_Slot.cpp:128:        { Stream->Patchups.push_back(new GotoPatch(target,GetSlotBefor(),at,c)); }
CodeOutput_Slot.cpp:130:        { Stream->Patchups.push_back(new BranchPatch(target,GetSlotBefor(),type,from,at,c)); }
CodeOutput.h:222:       std::list Patchups;

---

还有： 碰巧家庭和学校系统都是 x86（分别是 RHEL 3 和 5），所以我在学校系统上运行了我在家编译的二进制文件，并且运行良好。

Answer 1

指针的值可能是来自其他地方的野写的受害者。

调试器输出中显示的变量 p 是 0x2064696c。这可能是字符串“lid”，具体取决于您的字节顺序。您应该在代码中查找存储该字符串（或值）的位置。

Answer 2

列表中的指针之一无效。这可能是因为它是 null （不是您的情况）、未初始化、通过错误的强制转换初始化或它曾经指向的有效对象已被销毁。

因为它在一种环境中有效，但在另一种环境中无效，因此您可能会看到一些未定义行为的结果。

当您将指针推入列表时，它们指向什么对象以及在您调用 Finish 时这些对象会发生什么？

Answer 3

您将第 44 行上的 p 取消引用到一个不存在的对象。

p 从未初始化，或者 *p 已被删除。

编辑：我建议开始查看此列表的填充位置，并验证您的列表项是否已初始化为 0，并且您实际上将指针分配给了 将实例修补到列表。此外，您还可能会查找在初始化过程中忽略或捕获的其他错误或异常，这些错误或异常允许像这样指向无效内存的指针将其放入列表中。

Answer 4

我是如何发现这个问题的。

首先向janm 用于识别出了什么问题，即使它对于查找问题所在没有多大帮助。

---

我添加了一个测试函数，它实际上是失败函数的副本，但消除了所有副作用。通过它在整个地方运行，我能够将事情分解到一个小窗口中。在调试器下，我从最后一个有效传递单步执行到第一个无效传递，并得到以下结果：

CodeOutput.cpp:224  |  ObjectCode::Test();
CodeOutput.cpp:225  |  continue;
CodeOutput.cpp:111  |  while(at != ops.end())
stl_list.h:598      |  { return iterator(&this->_M_impl._M_node); }
stl_list.h:127      |  : _M_node(__x) { }
stl_list.h:174      |  { return _M_node != __x._M_node; }
CodeOutput.cpp:113  |  printf("%s\n", (*at).TypeStr());
stl_list.h:132      |  { return static_cast(_M_node)->_M_data; }
CodeOutput_asm.cpp:33   |  switch(Type)
CodeOutput_asm.cpp:36   |  Case(OpPlaceholder);
CodeOutput.cpp:115  |  switch((*at).Type)
stl_list.h:132      |  { return static_cast(_M_node)->_M_data; }
CodeOutput.cpp:216  |  char* c = (*at).comment;
stl_list.h:132      |  { return static_cast(_M_node)->_M_data; }
CodeOutput.cpp:217  |  if((*at).head != NULL && (*at).head[0] != '\0')
stl_list.h:132      |  { return static_cast(_M_node)->_M_data; }
stl_list.h:132      |  { return static_cast(_M_node)->_M_data; }
CodeOutput.cpp:222  |  ++at;// = ops.erase(at);
stl_list.h:141      |  _M_node = _M_node->_M_next;
stl_list.h:142      |  return *this;
CodeOutput.cpp:223  |  (*at).head = c;
stl_list.h:132      |  { return static_cast(_M_node)->_M_data; }
CodeOutput.cpp:224  |  ObjectCode::Test();

为了清楚起见，格式化，内存损坏必须由以下行之一引起：

-- last valid test
CodeOutput.cpp:224  |  ObjectCode::Test();

CodeOutput.cpp:225  |  continue;

-- falls into loop ('at' is list::iterator)
CodeOutput.cpp:111  |  while(at != ops.end()) 
CodeOutput.cpp:113  |  printf("%s\n", (*at).TypeStr());
CodeOutput.cpp:115  |  switch((*at).Type)

-- OpPlaceholder case
CodeOutput.cpp:216  |  char* c = (*at).comment;

-- if gets false ('head' is char*)
CodeOutput.cpp:217  |  if((*at).head != NULL && (*at).head[0] != '\0')
CodeOutput.cpp:222  |  ++at;
CodeOutput.cpp:223  |  (*at).head = c;

-- first invalid test
CodeOutput.cpp:224  |  ObjectCode::Test();

-- called from CodeOutput.cpp:113
CodeOutput_asm.cpp:33   |  switch(Type)
CodeOutput_asm.cpp:36   |  case  OpPlaceholder; return "OpPlaceholder";

因为列表不长，我只是添加了更多内容记录直到我发现这些行导致了问题：

++at;
(*at).head = c;

现在我确切地知道在哪里查看很容易看到问题，并且通过切换到：

++at;
if(at != ops.end()) (*at).head = c;

问题就消失了。

---

我仍然有的唯一问题是 1）为什么它在我的旧系统上工作？ 2）为什么没有在第二行显示为 seg-v？我认为 *(list.end()) 导致对 NULL 的引用将是一件好事。

Answer 5

您应该在条件语句中使用 <。

当您使用 ++ 增加指针时，它会增加它所指向的内容的大小。由于您使用的是 !=，因此您可能没有准确地命中 Patchups.end()，因此您会走开，然后进入无效内存。

或者可能是别的东西。例如，begin() 和 end() 之间可能存在无效内存。