c - 两个无符号整数的按位或(程序崩溃)

Question

抱歉，如果我的问题不是很清楚。 我有这样的结构:

typedef struct
{
    uint32_t typeSet;
}DataTypeTagInfo;

以下函数用于统一两个 typeSet:

DataTypeTagInfo* unifyTagInfo(DataTypeTagInfo* tag1, DataTypeTagInfo* tag2){
    if(tag1 == NULL) return tag2;
    else if(tag2 == NULL) return tag1;
    tag1->typeSet |= tag2->typeSet;
    return tag1;
}

程序在执行以下行时退出:

    tag1->typeSet |= tag2->typeSet;

在示例运行中，我有以下值:

tag1->typeSet = 3917954189
tag2->typeSet = 2536589

没有错误消息。只是退出。请帮忙。

Answer 1

您显示的代码完全正确。因此，tag1 或 tag2 很可能在中止时是无效指针。这与您发布的代码无关。可以通过多种方式将指针设置为无效。

为了弄清楚发生了什么，我首先仔细检查调用站点的代码设置 tag1 和 tag2，然后 - 如果答案不是这样出现 - 继续使用 valgrind 检查内存覆盖错误。

注意，这就是 C(++) 如此具有挑战性的原因。