Switch back to returning @dependent@ instead of @observer@.

svn path=/trunk/yasm/; revision=607

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)

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

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)

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