1

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

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 上的问题还是我忽略了某些东西？

4

1 回答 1

1

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

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

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

于 2013-06-05T19:58:18.107 回答