Splint cleanups, including const change.

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

diff --git a/libyasm/objfmt.h b/libyasm/objfmt.h
index d3155661346f6f840b317a30a159300709c44203..dde47117ef16e91caa608d753ef139d64ad4f313 100644 (file)
--- a/libyasm/objfmt.h
+++ b/libyasm/objfmt.h
@@ -70,7 +70,7 @@ struct objfmt {
      * be the section name.  Returns NULL if something's wrong, otherwise
      * returns the new section.
      */
-    /*@dependent@*/ /*@null@*/ section *
+    /*@observer@*/ /*@null@*/ section *
        (*sections_switch)(sectionhead *headp, valparamhead *valparams,
                           /*@null@*/ valparamhead *objext_valparams);
 
@@ -89,7 +89,7 @@ struct objfmt {
      * is an enum not a bitmask).
      */
     /*@only@*/ void *
-       (*declare_data_copy)(SymVisibility vis, /*@only@*/ void *data);
+       (*declare_data_copy)(SymVisibility vis, const void *data);
     void (*declare_data_delete)(SymVisibility vis, /*@only@*/ void *data);
     void (*declare_data_print)(FILE *f, SymVisibility vis,
                               /*@null@*/ void *data);

diff --git a/src/objfmt.h b/src/objfmt.h
index d3155661346f6f840b317a30a159300709c44203..dde47117ef16e91caa608d753ef139d64ad4f313 100644 (file)
--- a/src/objfmt.h
+++ b/src/objfmt.h
@@ -70,7 +70,7 @@ struct objfmt {
      * be the section name.  Returns NULL if something's wrong, otherwise
      * returns the new section.
      */
-    /*@dependent@*/ /*@null@*/ section *
+    /*@observer@*/ /*@null@*/ section *
        (*sections_switch)(sectionhead *headp, valparamhead *valparams,
                           /*@null@*/ valparamhead *objext_valparams);
 
@@ -89,7 +89,7 @@ struct objfmt {
      * is an enum not a bitmask).
      */
     /*@only@*/ void *
-       (*declare_data_copy)(SymVisibility vis, /*@only@*/ void *data);
+       (*declare_data_copy)(SymVisibility vis, const void *data);
     void (*declare_data_delete)(SymVisibility vis, /*@only@*/ void *data);
     void (*declare_data_print)(FILE *f, SymVisibility vis,
                               /*@null@*/ void *data);