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;
}

我注意到程序有时会在函数结束处的断言处停止在前一行的struct-to-struct赋值之后。我尝试了几个版本的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。我认为两者都有害。

struct-to-struct赋值后的奇怪错误

1 个答案: