Change most Splint return annotations from dependent to observer.

Also, section_get_start() can't return NULL.

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

diff --git a/libyasm/section.h b/libyasm/section.h
index 0716581514be16fd7e3b7ddcd1bb120df45ff509..85d6e940dc5efd1d9375d90fc0f9269642d34d29 100644 (file)
--- a/libyasm/section.h
+++ b/libyasm/section.h
@@ -24,17 +24,17 @@
 
 struct objfmt;
 
-/*@dependent@*/ section *sections_initialize(sectionhead *headp);
+/*@observer@*/ section *sections_initialize(sectionhead *headp);
 
-/*@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_general(sectionhead *headp,
+                                               const char *name,
+                                               unsigned long start,
+                                               /*@null@*/ /*@only@*/
+                                               void *of_data, int res_only,
+                                               /*@out@*/ int *isnew);
 
-/*@dependent@*/ section *sections_switch_absolute(sectionhead *headp,
-                                                 /*@keep@*/ expr *start);
+/*@observer@*/ section *sections_switch_absolute(sectionhead *headp,
+                                                /*@keep@*/ expr *start);
 
 int section_is_absolute(section *sect);
 
@@ -57,15 +57,15 @@ void sections_print(FILE *f, const sectionhead *headp);
 int sections_traverse(sectionhead *headp, /*@null@*/ void *d,
                      int (*func) (section *sect, /*@null@*/ void *d));
 
-/*@null@*/ section *sections_find_general(sectionhead *headp,
-                                         const char *name);
+/*@observer@*/ /*@null@*/ section *sections_find_general(sectionhead *headp,
+                                                        const char *name);
 
 /*@dependent@*/ bytecodehead *section_get_bytecodes(section *sect);
 
 /*@observer@*/ /*@null@*/ const char *section_get_name(const section *sect);
 
 void section_set_start(section *sect, unsigned long start);
-/*@observer@*/ /*@null@*/ const expr *section_get_start(const section *sect);
+/*@observer@*/ const expr *section_get_start(const section *sect);
 
 void section_delete(/*@only@*/ section *sect);
 

diff --git a/src/section.h b/src/section.h
index 0716581514be16fd7e3b7ddcd1bb120df45ff509..85d6e940dc5efd1d9375d90fc0f9269642d34d29 100644 (file)
--- a/src/section.h
+++ b/src/section.h
@@ -24,17 +24,17 @@
 
 struct objfmt;
 
-/*@dependent@*/ section *sections_initialize(sectionhead *headp);
+/*@observer@*/ section *sections_initialize(sectionhead *headp);
 
-/*@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_general(sectionhead *headp,
+                                               const char *name,
+                                               unsigned long start,
+                                               /*@null@*/ /*@only@*/
+                                               void *of_data, int res_only,
+                                               /*@out@*/ int *isnew);
 
-/*@dependent@*/ section *sections_switch_absolute(sectionhead *headp,
-                                                 /*@keep@*/ expr *start);
+/*@observer@*/ section *sections_switch_absolute(sectionhead *headp,
+                                                /*@keep@*/ expr *start);
 
 int section_is_absolute(section *sect);
 
@@ -57,15 +57,15 @@ void sections_print(FILE *f, const sectionhead *headp);
 int sections_traverse(sectionhead *headp, /*@null@*/ void *d,
                      int (*func) (section *sect, /*@null@*/ void *d));
 
-/*@null@*/ section *sections_find_general(sectionhead *headp,
-                                         const char *name);
+/*@observer@*/ /*@null@*/ section *sections_find_general(sectionhead *headp,
+                                                        const char *name);
 
 /*@dependent@*/ bytecodehead *section_get_bytecodes(section *sect);
 
 /*@observer@*/ /*@null@*/ const char *section_get_name(const section *sect);
 
 void section_set_start(section *sect, unsigned long start);
-/*@observer@*/ /*@null@*/ const expr *section_get_start(const section *sect);
+/*@observer@*/ const expr *section_get_start(const section *sect);
 
 void section_delete(/*@only@*/ section *sect);