c - 结构到结构赋值后的奇怪错误

Question

我在程序中声明了以下类型和函数。

typedef char TYPE_name_type;
typedef char TYPE_name_category;
typedef struct {
   TYPE_name_category category;
   TYPE_name_type id;
} TYPE_cod_name;
typedef struct {
   TYPE_name_type name;
   TYPE_cod_name image;
} TYPE_beta_name;
typedef struct {
   TYPE_cod_name lefty;
   TYPE_cod_name righty;
} TYPE_codomain_pair;
typedef char TYPE_thread_ref;
typedef struct {
   TYPE_beta_name items[2];
   unsigned int length;
} TYPE_beta_env;
typedef struct {
   TYPE_thread_ref pid;
   TYPE_beta_env env;
} TYPE_thread_env;
typedef struct {
   TYPE_thread_env items[3];
   unsigned int length;
} TYPE_beta_type;

TYPE_beta_type FUNCTION_post_Reset
(TYPE_beta_type  V34,
 TYPE_thread_ref V35) {
  TYPE_beta_type result;
  TYPE_beta_type V78 = (TYPE__EMPTY_CONST_beta_type);
  TYPE_thread_env V79;
  TYPE_beta_type V79_cont;
  unsigned int V79_index;
  V79_cont = V34;
  V79_index = 0;
  V79 = V79_cont.items[0];
  if (V79_cont.length > 0) {
    while (1) {
      if (V79.pid == V35) {
         V78 = TYPE__OP_thread_env__CONCAT_OP__beta_type(V78, V79);
      }
      if(V79_index == (V79_cont.length - 1)) break;
      V79_index ++;
      V79 = V79_cont.items[V79_index];
      assert (V79.pid == V79_cont.items[V79_index].pid);
    }
  }
  return V78;
}

我注意到程序有时会在函数结束时的断言处停止在上一行的结构到结构赋值之后。我尝试了几个版本的 gcc。它适用于 4.3.6、4.7.2 但总是失败与 4.6.3。

我正在使用内核为 3.6.11 的 32 位 Fedora 16。

可能是因为 gcc 4.3.6 的问题还是我忽略了什么？

Answer 1

这是编程中可能犯的最严重错误之一的后果:使用固定缓冲区大小。几乎可以肯定你迟早会遇到麻烦，因为需求会改变，而你的固定缓冲区大小将不够用。

这里的问题是项目的大小仅为 3，我确信您会发现断言失败时 V79_index 为 3。

Ps:我知道全世界都使用固定的缓冲区大小。但是全世界都曾经使用过goto。我认为两者都是有害的。