c - 为什么我的值(value)不会增加？内存踩踏/堆栈故障？

Question

我遇到了一个相当迷人的错误，我正在努力解决这个问题。

我觉得我以前见过这种情况，但这次我想了解为什么会这样。

我有:

int i;
int debug = 0;
for(i = 0; i < buf_end; i++) {
    do_some_buffer_work();
    if(something_is_true()) {
         do_something_important();
         printf("debug is %i, i is %i", debug++, i);
    }
}

printf("结束\n");

我得到了输出:

debug is 1, i is 55
debug is 2, i is 55

所以有一点循环执行了两次，并且 i 的值相同。我在循环中做的任何事情都没有直接触及我。此外，我怀疑这是传统的内存踩踏，因为值始终相同。我怀疑这是导致程序计数器四处移动的原因(因为有时链接不好会出现类似的错误)，直到我进行了以下测试:

int i;
static int debug;
for(i = 0; i < buf_end; i++) {
    do_some_buffer_work();
    if(something_is_true()) {
         do_something_important();
         printf("debug is %i, i is %i\n", debug++, i++);
         printf("debug is %i, i is %i\n", debug++, i++);
         printf("debug is %i, i is %i\n", debug++, i++);
    }
}
printf("end\n");

我得到了这个有趣的输出:

debug is 0, i is 55
debug is 1, i is 56
debug is 2, i is 57
debug is 3, i is 55
debug is 4, i is 56
debug is 5, i is 57
end

所以这里很明显我已经执行了两次完整的迭代，但调试变量没有受到影响。由于某种原因，该值似乎正在被缓存和恢复。我有一种预感，将调试变量更改为非静态并得到了这个:

int i;
int debug = 0;
for(i = 0; i < buf_end; i++) {
    do_some_buffer_work();
    if(something_is_true()) {
         do_something_important();
         printf("debug is %i, i is %i\n", debug++, i++);
         printf("debug is %i, i is %i\n", debug++, i++);
         printf("debug is %i, i is %i\n", debug++, i++);
    }
}
printf("end\n");

我得到了这个有趣的输出:

debug is 0, i is 55
debug is 1, i is 56
debug is 2, i is 57
debug is 0, i is 55
debug is 1, i is 56
debug is 2, i is 57
end

所以看起来堆栈上的变量被重置为第 55 个开始迭代。

我确信这个错误是在这些 do_something_important() 调用之一中——它处理缓冲区读取——但这个错误已经有了它自己的特点，我想我应该尊重它来了解更多关于它的信息在我压扁它之前。所以请不要试图帮助我修复它，如果您对它发生的原因有一些线索，请告诉我。更具体地说，可以在程序状态中更改什么以像这样“重置”值？

编辑:如果有人因为我遗漏了函数而感到恼火，我很抱歉。它们非常大并且引用了其他函数，但我将其遗漏的主要原因是因为我不关心解决这个问题；我想知道如何以最简单的方式重新创建它。

第二个编辑:这是忧郁发生的直接功能。包括引用的函数和所有子函数和定义可能大约有 500 行，所以我不会在这里这样做。

static int find_headers_search(FCALParseContext *fpc, uint8_t *buf, int buf_size,
                               int search_start)

{
    FCALFrameInfo fi;
    int end_offset = -1, size = 0, i;
    uint8_t *header_buf;

    int debug = 0;
    for (i = 0; i < buf_size - 1; i++) {
        if ((AV_RB16(buf + i) & 0xFFFE) == 0xFFF8) {
                av_log(NULL,AV_LOG_DEBUG,"predebug%i i %i\n",debug, i);
            header_buf = fcal_fifo_read_wrap(fpc, search_start + i,
                                             MAX_FRAME_HEADER_SIZE,
                                             &fpc->wrap_buf,
                                             &fpc->wrap_buf_allocated_size);

            if (frame_header_is_valid(header_buf, &fi)) {
                av_log(NULL,AV_LOG_DEBUG,"frame num %u bufstart %u, size %u, end %u i %i\n", (unsigned int)fi.frame_or_sample_num,
                       search_start, buf_size, search_start + buf_size -1, i);
                FCALHeaderMarker **end_handle = &fpc->headers;

                size = 0;
                while (*end_handle) {
                    end_offset =  (*end_handle)->offset;
                    end_handle = &(*end_handle)->next;
                    size++;
                }

                *end_handle = av_mallocz(sizeof(FCALHeaderMarker));
                if (!*end_handle) {
                    av_log(fpc->avctx, AV_LOG_ERROR,
                           "couldn't allocate FCALHeaderMarker\n");
                    return AVERROR(ENOMEM);
                }
                (*end_handle)->fi     = fi;
                (*end_handle)->offset = search_start + i;
                /* The actual size of the linked list is now size + 1 */
                update_sequences(fpc, size - FCAL_MAX_SEQUENTIAL_HEADERS,
                                 FFMIN(size, FCAL_MAX_SEQUENTIAL_HEADERS),
                                 *end_handle);
                fpc->nb_headers_found++;
                size++;
                av_log(NULL,AV_LOG_DEBUG,"debug%i i %i\n",debug++, i++);
                size = 0;
                while (*end_handle) {
                    end_offset =  (*end_handle)->offset;
                    end_handle = &(*end_handle)->next;
                    size++;
                }

                *end_handle = av_mallocz(sizeof(FCALHeaderMarker));
                if (!*end_handle) {
                    av_log(fpc->avctx, AV_LOG_ERROR,
                           "couldn't allocate FCALHeaderMarker\n");
                    return AVERROR(ENOMEM);
                }
                (*end_handle)->fi     = fi;
                (*end_handle)->offset = search_start + i;
                /* The actual size of the linked list is now size + 1 */
                update_sequences(fpc, size - FCAL_MAX_SEQUENTIAL_HEADERS,
                                 FFMIN(size, FCAL_MAX_SEQUENTIAL_HEADERS),
                                 *end_handle);
                fpc->nb_headers_found++;
                size++;
                av_log(NULL,AV_LOG_DEBUG,"debug%i i %i\n",debug++, i++);
                av_log(NULL,AV_LOG_DEBUG,"debug%i i %i\n",debug++, i++);
                av_log(NULL,AV_LOG_DEBUG,"debug%i i %i\n",debug++, i++);
            }
        }
    }
    return size;
}

Answer 1

有一个缓冲区，有一个 buf_end，还有一些“缓冲区工作”。在片段中都是不可见的。显然，有一些不可见的代码写入了缓冲区的末尾，破坏了局部变量 debug 和 i。在缓冲区端设置数据断点，通常一两分钟后您就会找到它。