From db0c353f68c73b644fbbcbf6906d490e30c58439 Mon Sep 17 00:00:00 2001 From: Peter Johnson Date: Sat, 27 Apr 2002 05:14:02 +0000 Subject: [PATCH] Switch back to returning @dependent@ instead of @observer@. svn path=/trunk/yasm/; revision=607 --- libyasm/section.c | 2 ++ libyasm/section.h | 22 +++++++++++----------- src/section.c | 2 ++ src/section.h | 22 +++++++++++----------- 4 files changed, 26 insertions(+), 22 deletions(-) diff --git a/libyasm/section.c b/libyasm/section.c index d5b60a93..7d420622 100644 --- a/libyasm/section.c +++ b/libyasm/section.c @@ -211,6 +211,7 @@ sections_traverse(sectionhead *headp, /*@null@*/ void *d, return 0; } +/*@-onlytrans@*/ section * sections_find_general(sectionhead *headp, const char *name) { @@ -223,6 +224,7 @@ sections_find_general(sectionhead *headp, const char *name) } return NULL; } +/*@=onlytrans@*/ bytecodehead * section_get_bytecodes(section *sect) diff --git a/libyasm/section.h b/libyasm/section.h index 85d6e940..682a1c5f 100644 --- a/libyasm/section.h +++ b/libyasm/section.h @@ -24,17 +24,17 @@ struct objfmt; -/*@observer@*/ section *sections_initialize(sectionhead *headp); +/*@dependent@*/ section *sections_initialize(sectionhead *headp); -/*@observer@*/ section *sections_switch_general(sectionhead *headp, - const char *name, - unsigned long start, - /*@null@*/ /*@only@*/ - void *of_data, int res_only, - /*@out@*/ int *isnew); +/*@dependent@*/ section *sections_switch_general(sectionhead *headp, + const char *name, + unsigned long start, + /*@null@*/ /*@only@*/ + void *of_data, int res_only, + /*@out@*/ int *isnew); -/*@observer@*/ section *sections_switch_absolute(sectionhead *headp, - /*@keep@*/ expr *start); +/*@dependent@*/ section *sections_switch_absolute(sectionhead *headp, + /*@keep@*/ expr *start); int section_is_absolute(section *sect); @@ -57,8 +57,8 @@ void sections_print(FILE *f, const sectionhead *headp); int sections_traverse(sectionhead *headp, /*@null@*/ void *d, int (*func) (section *sect, /*@null@*/ void *d)); -/*@observer@*/ /*@null@*/ section *sections_find_general(sectionhead *headp, - const char *name); +/*@dependent@*/ /*@null@*/ section *sections_find_general(sectionhead *headp, + const char *name); /*@dependent@*/ bytecodehead *section_get_bytecodes(section *sect); diff --git a/src/section.c b/src/section.c index d5b60a93..7d420622 100644 --- a/src/section.c +++ b/src/section.c @@ -211,6 +211,7 @@ sections_traverse(sectionhead *headp, /*@null@*/ void *d, return 0; } +/*@-onlytrans@*/ section * sections_find_general(sectionhead *headp, const char *name) { @@ -223,6 +224,7 @@ sections_find_general(sectionhead *headp, const char *name) } return NULL; } +/*@=onlytrans@*/ bytecodehead * section_get_bytecodes(section *sect) diff --git a/src/section.h b/src/section.h index 85d6e940..682a1c5f 100644 --- a/src/section.h +++ b/src/section.h @@ -24,17 +24,17 @@ struct objfmt; -/*@observer@*/ section *sections_initialize(sectionhead *headp); +/*@dependent@*/ section *sections_initialize(sectionhead *headp); -/*@observer@*/ section *sections_switch_general(sectionhead *headp, - const char *name, - unsigned long start, - /*@null@*/ /*@only@*/ - void *of_data, int res_only, - /*@out@*/ int *isnew); +/*@dependent@*/ section *sections_switch_general(sectionhead *headp, + const char *name, + unsigned long start, + /*@null@*/ /*@only@*/ + void *of_data, int res_only, + /*@out@*/ int *isnew); -/*@observer@*/ section *sections_switch_absolute(sectionhead *headp, - /*@keep@*/ expr *start); +/*@dependent@*/ section *sections_switch_absolute(sectionhead *headp, + /*@keep@*/ expr *start); int section_is_absolute(section *sect); @@ -57,8 +57,8 @@ void sections_print(FILE *f, const sectionhead *headp); int sections_traverse(sectionhead *headp, /*@null@*/ void *d, int (*func) (section *sect, /*@null@*/ void *d)); -/*@observer@*/ /*@null@*/ section *sections_find_general(sectionhead *headp, - const char *name); +/*@dependent@*/ /*@null@*/ section *sections_find_general(sectionhead *headp, + const char *name); /*@dependent@*/ bytecodehead *section_get_bytecodes(section *sect);