1

我正在 LLVM 和 KLEE 中进行一些开发，但我在使用 gdb 时遇到了一些问题。我已经用-O0和-ggdbargs 编译了所有内容，以摆脱优化并添加调试符号。我已经多次使用 gdb 来调试 c 代码，但这是我第一次在 c++ 上使用它。

当我尝试使用 gdb 进行调试时，一切正常，除了“下一个”命令有时会“继续”而不是转到下一个源代码行。调试器总是在断点处停止，但它似乎决定跳过比下一个应该跳过的多行......例如我可能有类似的东西：

int foo::bar(list_class<int> &list, int num){

    int i;
    num = num + 3;

    for(i = 0; i < 5; i++){
        list.add(num + i);
    }

    num = num + 42;
    return num;
}

如果我断线：

num = num + 42;

我从线上“下一个”

num = num + 3;

它将完全跳过 for 循环并在断点处停止。如果我没有在该行上设置中断，则该函数将返回。如果我在线设置断点：

list.add(num + i);

程序将始终在断点处停止。有没有人有什么建议？提前致谢。

编辑：

这是 gdb 向我抛出的一些错误。我不确定它们是否与问题有关。

warning: can't find linker symbol for virtual table for `std::basic_string<char, std::char_traits<char>, std::allocator<char> >' value
warning: can't find linker symbol for virtual table for `std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider' value
warning: can't find linker symbol for virtual table for `std::_Rb_tree_node_base' value
warning:   found `klee::PTree::PTree(klee::ExecutionState* const&)' instead
warning: can't find linker symbol for virtual table for `klee::KInstIterator' value
warning:   found `klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**)' instead
warning: can't find linker symbol for virtual table for `klee::TreeOStream' value
warning:   found `std::string::compare(char const*) const' instead
warning: can't find linker symbol for virtual table for `klee::ImmutableMap<klee::MemoryObject const*, klee::ObjectHolder, klee::MemoryObjectLT>' value
warning:   found `bool std::operator==<char, std::char_traits<char>, std::allocator<char> >(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, char const*)' instead
warning: can't find linker symbol for virtual table for `klee::ImmutableTree<klee::MemoryObject const*, std::pair<klee::MemoryObject const*, klee::ObjectHolder>, klee::_Select1st<std::pair<klee::MemoryObject const*, klee::ObjectHolder>, klee::MemoryObject const*>, klee::MemoryObjectLT>' value
warning:   found `bool std::operator==<char, std::char_traits<char>, std::allocator<char> >(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, char const*)' instead

编辑#2（已解决）

我通过升级到最新版本的 gdb (7.4) 解决了我的问题。我使用的是 7.1-ubuntu 版本。

4

1 回答 1

0

我通过升级到最新版本的 gdb (7.4) 解决了我的问题。我使用的是 7.1-ubuntu 版本。

于 2012-06-21T16:39:05.757 回答