Remove static error table list in built-in com_err

_et_list has been private to error_message.c since March 2004, and
since nothing in that file ever added entries to it, it is always
NULL.  As it's not doing any good, get rid of it, and rename the
dynamic error table list to "et_list", along with its type.  Also
remove some old lclint annotations.

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@24947 dc483132-0cff-0310-8789-dd5450dbe970

1 files changed, 5 insertions, 13 deletions

diff --git a/src/util/et/error_table.h b/src/util/et/error_table.h
index ce7f4ba8b..c458b048a 100644
--- a/src/util/et/error_table.h
+++ b/src/util/et/error_table.h
@@ -13,28 +13,20 @@
 #define ET_EBUFSIZ 1024
 
 struct et_list {
-    /*@dependent@*//*@null@*/ struct et_list *next;
-    /*@dependent@*//*@null@*/ const struct error_table *table;
-};
-
-struct dynamic_et_list {
-    /*@only@*//*@null@*/ struct dynamic_et_list *next;
-    /*@dependent@*/ const struct error_table *table;
+    struct et_list *next;
+    const struct error_table *table;
 };
 
 #define ERRCODE_RANGE   8       /* # of bits to shift table number */
 #define BITS_PER_CHAR   6       /* # bits to shift per character in name */
 #define ERRCODE_MAX   0xFFFFFFFFUL      /* Mask for maximum error table */
 
-extern /*@observer@*/ const char *error_table_name (unsigned long)
-    /*@modifies internalState@*/;
-extern const char *error_table_name_r (unsigned long,
-                                       /*@out@*/ /*@returned@*/ char *outbuf)
-    /*@modifies outbuf@*/;
+const char *error_table_name(unsigned long);
+const char *error_table_name_r(unsigned long, char *outbuf);
 
 #include "k5-thread.h"
 extern k5_mutex_t com_err_hook_lock;
-extern int com_err_finish_init(void);
+int com_err_finish_init(void);
 
 #define _ET_H
 #endif