diff options
| author | Ken Raeburn <raeburn@mit.edu> | 2001-01-20 01:54:16 +0000 |
|---|---|---|
| committer | Ken Raeburn <raeburn@mit.edu> | 2001-01-20 01:54:16 +0000 |
| commit | 5f337297f9e6f6f22473e6226c41b8a105c4dbab (patch) | |
| tree | 2a6b49d52c9ed307c04cd130cb32443f4470e0d7 /src/util/et/et_c.awk | |
| parent | 926dbfad5bd7cdda2545e082c40e3ad531154302 (diff) | |
| download | krb5-5f337297f9e6f6f22473e6226c41b8a105c4dbab.tar.gz krb5-5f337297f9e6f6f22473e6226c41b8a105c4dbab.tar.xz krb5-5f337297f9e6f6f22473e6226c41b8a105c4dbab.zip | |
* com_err.h (add_error_table, remove_error_table): Annotate as modifying
internal state.
(struct et_list, _et_list): Remove.
* error_table.h (struct et_list, _et_list): Put back here.
* error_message.c (add_error_table, remove_error_table): Annotate specific
modifications. Disable inconsistent-defifition checks since _et_list isn't
describe in the header file but is global and modified.
* et_c.awk: Make the generated initialization function simply call
add_error_table, and drop the static linked-list node.
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@12915 dc483132-0cff-0310-8789-dd5450dbe970
Diffstat (limited to 'src/util/et/et_c.awk')
| -rw-r--r-- | src/util/et/et_c.awk | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/util/et/et_c.awk b/src/util/et/et_c.awk index 65396d443f..5e55235e31 100644 --- a/src/util/et/et_c.awk +++ b/src/util/et/et_c.awk @@ -200,13 +200,10 @@ END { } print "" > outfile print "#if !defined(_MSDOS) && !defined(_WIN32) && !defined(macintosh)" > outfile - print "static struct et_list link = { 0, 0 };" > outfile - print "void initialize_" table_name "_error_table (void) {" > outfile - print " if (!link.table) {" > outfile - print " link.next = _et_list;" > outfile - print " link.table = &et_" table_name "_error_table;" > outfile - print " _et_list = &link;" > outfile - print " }" > outfile + print "void initialize_" table_name "_error_table (void)" > outfile + print " /*@modifies internalState@*/" > outfile + print "{" > outfile + print " (void) add_error_table (&et_" table_name "_error_table);" > outfile print "}" > outfile print "#endif" > outfile } |