[svn:parrot] r34735 - in trunk: compilers/imcc include/parrot include/parrot/stm src/charset src/encodings src/stm tools/build

Author: petdance
Date: Wed Dec 31 21:00:33 2008
New Revision: 34735

Modified:
   trunk/compilers/imcc/imcc.y
   trunk/compilers/imcc/instructions.h
   trunk/compilers/imcc/reg_alloc.c
   trunk/include/parrot/debugger.h
   trunk/include/parrot/inter_call.h
   trunk/include/parrot/io.h
   trunk/include/parrot/io_unix.h
   trunk/include/parrot/io_win32.h
   trunk/include/parrot/packfile.h
   trunk/include/parrot/stacks.h
   trunk/include/parrot/stm/backend.h
   trunk/include/parrot/string_funcs.h
   trunk/src/charset/ascii.c
   trunk/src/charset/iso-8859-1.c
   trunk/src/charset/iso-8859-1.h
   trunk/src/encodings/utf8.c
   trunk/src/stm/waitlist.c
   trunk/tools/build/headerizer.pl

Log:
Fixed some headerizer problems with FUNC_MODIFIES

Modified: trunk/compilers/imcc/imcc.y
==============================================================================
--- trunk/compilers/imcc/imcc.y	(original)
+++ trunk/compilers/imcc/imcc.y	Wed Dec 31 21:00:33 2008
@@ -146,6 +146,7 @@
     ARGMOD(SymReg *r0))
         __attribute__nonnull__(1)
         __attribute__nonnull__(3)
+        FUNC_MODIFIES(*unit)
         FUNC_MODIFIES(*r0);
 
 PARROT_WARN_UNUSED_RESULT
@@ -159,6 +160,7 @@
     ARGMOD(SymReg *r))
         __attribute__nonnull__(1)
         __attribute__nonnull__(3)
+        FUNC_MODIFIES(*unit)
         FUNC_MODIFIES(*r);
 
 PARROT_IGNORABLE_RESULT

Modified: trunk/compilers/imcc/instructions.h
==============================================================================
--- trunk/compilers/imcc/instructions.h	(original)
+++ trunk/compilers/imcc/instructions.h	Wed Dec 31 21:00:33 2008
@@ -142,7 +142,8 @@
 Instruction * emitb(PARROT_INTERP,
     ARGMOD_NULLOK(IMC_Unit *unit),
     ARGIN_NULLOK(Instruction *i))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*unit);
 
 void free_ins(ARGMOD(Instruction *ins))
         __attribute__nonnull__(1)
@@ -174,6 +175,7 @@
         __attribute__nonnull__(1)
         __attribute__nonnull__(3)
         FUNC_MODIFIES(*unit)
+        FUNC_MODIFIES(*ins)
         FUNC_MODIFIES(*tmp);
 
 int instruction_reads(ARGIN(const Instruction *ins), ARGIN(const SymReg *r))
@@ -205,6 +207,7 @@
         __attribute__nonnull__(1)
         __attribute__nonnull__(3)
         FUNC_MODIFIES(*unit)
+        FUNC_MODIFIES(*ins)
         FUNC_MODIFIES(*tmp);
 
 void subst_ins(

Modified: trunk/compilers/imcc/reg_alloc.c
==============================================================================
--- trunk/compilers/imcc/reg_alloc.c	(original)
+++ trunk/compilers/imcc/reg_alloc.c	Wed Dec 31 21:00:33 2008
@@ -76,7 +76,8 @@
     ARGIN(const IMC_Unit *unit),
     int reg_set,
     ARGOUT_NULLOK(Set **avail))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*avail);
 
 PARROT_CANNOT_RETURN_NULL
 static unsigned int* ig_allocate(int N);
@@ -119,7 +120,9 @@
     ARGMOD_NULLOK(int *sets),
     ARGMOD_NULLOK(int *cols))
         __attribute__nonnull__(1)
-        FUNC_MODIFIES(*unit);
+        FUNC_MODIFIES(*unit)
+        FUNC_MODIFIES(*sets)
+        FUNC_MODIFIES(*cols);
 
 static void map_colors(
     ARGIN(const IMC_Unit* unit),

Modified: trunk/include/parrot/debugger.h
==============================================================================
--- trunk/include/parrot/debugger.h	(original)
+++ trunk/include/parrot/debugger.h	Wed Dec 31 21:00:33 2008
@@ -275,7 +275,8 @@
         __attribute__nonnull__(2)
         __attribute__nonnull__(4)
         __attribute__nonnull__(5)
-        FUNC_MODIFIES(*dest);
+        FUNC_MODIFIES(*dest)
+        FUNC_MODIFIES(*file);
 
 void PDB_enable_breakpoint(PARROT_INTERP, ARGIN(const char *command))
         __attribute__nonnull__(1)

Modified: trunk/include/parrot/inter_call.h
==============================================================================
--- trunk/include/parrot/inter_call.h	(original)
+++ trunk/include/parrot/inter_call.h	Wed Dec 31 21:00:33 2008
@@ -168,7 +168,9 @@
         __attribute__nonnull__(2)
         __attribute__nonnull__(3)
         FUNC_MODIFIES(*src_ctx)
-        FUNC_MODIFIES(*dest_ctx);
+        FUNC_MODIFIES(*dest_ctx)
+        FUNC_MODIFIES(*src_indexes)
+        FUNC_MODIFIES(*dest_indexes);
 
 PARROT_EXPORT
 void Parrot_pcc_invoke_sub_from_c_args(PARROT_INTERP,

Modified: trunk/include/parrot/io.h
==============================================================================
--- trunk/include/parrot/io.h	(original)
+++ trunk/include/parrot/io.h	Wed Dec 31 21:00:33 2008
@@ -246,7 +246,8 @@
     ARGMOD_NULLOK(STRING *s))
         __attribute__nonnull__(1)
         __attribute__nonnull__(2)
-        FUNC_MODIFIES(*pmc);
+        FUNC_MODIFIES(*pmc)
+        FUNC_MODIFIES(*s);
 
 PARROT_EXPORT
 INTVAL Parrot_io_puts(PARROT_INTERP, ARGMOD(PMC *pmc), ARGIN(const char *s))

Modified: trunk/include/parrot/io_unix.h
==============================================================================
--- trunk/include/parrot/io_unix.h	(original)
+++ trunk/include/parrot/io_unix.h	Wed Dec 31 21:00:33 2008
@@ -74,7 +74,8 @@
     ARGIN(STRING *path),
     INTVAL flags)
         __attribute__nonnull__(1)
-        __attribute__nonnull__(3);
+        __attribute__nonnull__(3)
+        FUNC_MODIFIES(*filehandle);
 
 size_t Parrot_io_peek_unix(PARROT_INTERP,
     SHIM(PMC *filehandle),

Modified: trunk/include/parrot/io_win32.h
==============================================================================
--- trunk/include/parrot/io_win32.h	(original)
+++ trunk/include/parrot/io_win32.h	Wed Dec 31 21:00:33 2008
@@ -30,7 +30,8 @@
     ARGMOD_NULLOK(PMC *filehandle),
     PIOHANDLE fd,
     INTVAL flags)
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*filehandle);
 
 INTVAL Parrot_io_flush_win32(PARROT_INTERP, ARGMOD(PMC *filehandle))
         __attribute__nonnull__(1)

Modified: trunk/include/parrot/packfile.h
==============================================================================
--- trunk/include/parrot/packfile.h	(original)
+++ trunk/include/parrot/packfile.h	Wed Dec 31 21:00:33 2008
@@ -363,7 +363,8 @@
 
 PARROT_EXPORT
 void PackFile_Constant_destroy(SHIM_INTERP,
-    ARGMOD_NULLOK(PackFile_Constant *self));
+    ARGMOD_NULLOK(PackFile_Constant *self))
+        FUNC_MODIFIES(*self);
 
 PARROT_EXPORT
 PARROT_MALLOC
@@ -436,7 +437,8 @@
 
 PARROT_EXPORT
 void PackFile_destroy(PARROT_INTERP, ARGMOD_NULLOK(PackFile *pf))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*pf);
 
 PARROT_EXPORT
 PARROT_WARN_UNUSED_RESULT

Modified: trunk/include/parrot/stacks.h
==============================================================================
--- trunk/include/parrot/stacks.h	(original)
+++ trunk/include/parrot/stacks.h	Wed Dec 31 21:00:33 2008
@@ -116,7 +116,8 @@
     ARGIN(Stack_Chunk_t *stack_base),
     ARGMOD_NULLOK(Stack_entry_type *type))
         __attribute__nonnull__(1)
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*type);
 
 PARROT_EXPORT
 PARROT_CAN_RETURN_NULL
@@ -126,7 +127,8 @@
     Stack_entry_type type)
         __attribute__nonnull__(1)
         __attribute__nonnull__(2)
-        FUNC_MODIFIES(*stack_p);
+        FUNC_MODIFIES(*stack_p)
+        FUNC_MODIFIES(*where);
 
 PARROT_EXPORT
 PARROT_WARN_UNUSED_RESULT

Modified: trunk/include/parrot/stm/backend.h
==============================================================================
--- trunk/include/parrot/stm/backend.h	(original)
+++ trunk/include/parrot/stm/backend.h	Wed Dec 31 21:00:33 2008
@@ -44,7 +44,8 @@
         __attribute__nonnull__(1);
 
 void Parrot_STM_destroy_extracted(SHIM_INTERP,
-    ARGMOD_NULLOK(void *saved_log_data));
+    ARGMOD_NULLOK(void *saved_log_data))
+        FUNC_MODIFIES(*saved_log_data);
 
 void Parrot_STM_dump_profile(PARROT_INTERP)
         __attribute__nonnull__(1);
@@ -56,7 +57,8 @@
 
 void Parrot_STM_mark_extracted(PARROT_INTERP,
     ARGMOD_NULLOK(void *saved_log_data))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*saved_log_data);
 
 void Parrot_STM_mark_pmc_handle(PARROT_INTERP, Parrot_STM_PMC_handle handle)
         __attribute__nonnull__(1);
@@ -77,7 +79,8 @@
 
 void Parrot_STM_replay_extracted(PARROT_INTERP,
     ARGMOD_NULLOK(void *saved_log_data))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*saved_log_data);
 
 void Parrot_STM_start_transaction(PARROT_INTERP)
         __attribute__nonnull__(1);

Modified: trunk/include/parrot/string_funcs.h
==============================================================================
--- trunk/include/parrot/string_funcs.h	(original)
+++ trunk/include/parrot/string_funcs.h	Wed Dec 31 21:00:33 2008
@@ -99,7 +99,9 @@
     ARGMOD_NULLOK(STRING *src),
     INTVAL charset_nr,
     ARGOUT_NULLOK(STRING *dest))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*src)
+        FUNC_MODIFIES(*dest);
 
 PARROT_EXPORT
 PARROT_WARN_UNUSED_RESULT
@@ -108,7 +110,8 @@
     ARGIN_NULLOK(STRING *src),
     INTVAL encoding_nr,
     ARGOUT_NULLOK(STRING *dest))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*dest);
 
 PARROT_EXPORT
 void Parrot_unmake_COW(PARROT_INTERP, ARGMOD(STRING *s))
@@ -122,7 +125,8 @@
 STRING * string_append(PARROT_INTERP,
     ARGMOD_NULLOK(STRING *a),
     ARGIN_NULLOK(STRING *b))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*a);
 
 PARROT_EXPORT
 PARROT_CANNOT_RETURN_NULL
@@ -130,14 +134,16 @@
     ARGIN_NULLOK(const STRING *s1),
     ARGIN_NULLOK(const STRING *s2),
     ARGOUT_NULLOK(STRING **dest))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*dest);
 
 PARROT_EXPORT
 PARROT_CANNOT_RETURN_NULL
 STRING * string_bitwise_not(PARROT_INTERP,
     ARGIN_NULLOK(const STRING *s),
     ARGOUT_NULLOK(STRING **dest))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*dest);
 
 PARROT_EXPORT
 PARROT_CANNOT_RETURN_NULL
@@ -145,7 +151,8 @@
     ARGIN_NULLOK(const STRING *s1),
     ARGIN_NULLOK(const STRING *s2),
     ARGOUT_NULLOK(STRING **dest))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*dest);
 
 PARROT_EXPORT
 PARROT_CANNOT_RETURN_NULL
@@ -153,7 +160,8 @@
     ARGIN_NULLOK(const STRING *s1),
     ARGIN_NULLOK(const STRING *s2),
     ARGOUT_NULLOK(STRING **dest))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*dest);
 
 PARROT_EXPORT
 PARROT_WARN_UNUSED_RESULT
@@ -292,7 +300,8 @@
 PARROT_EXPORT
 PARROT_WARN_UNUSED_RESULT
 size_t string_hash(PARROT_INTERP, ARGMOD_NULLOK(STRING *s))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*s);
 
 PARROT_EXPORT
 PARROT_WARN_UNUSED_RESULT
@@ -399,7 +408,8 @@
     UINTVAL num,
     ARGOUT_NULLOK(STRING **d))
         __attribute__nonnull__(1)
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*d);
 
 PARROT_EXPORT
 PARROT_CAN_RETURN_NULL
@@ -411,7 +421,8 @@
     ARGOUT_NULLOK(STRING **d))
         __attribute__nonnull__(1)
         __attribute__nonnull__(2)
-        __attribute__nonnull__(5);
+        __attribute__nonnull__(5)
+        FUNC_MODIFIES(*d);
 
 PARROT_EXPORT
 PARROT_CANNOT_RETURN_NULL
@@ -449,7 +460,8 @@
     INTVAL length,
     ARGOUT_NULLOK(STRING **d),
     int replace_dest)
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*d);
 
 PARROT_EXPORT
 PARROT_CANNOT_RETURN_NULL
@@ -509,7 +521,8 @@
 
 PARROT_EXPORT
 void string_upcase_inplace(PARROT_INTERP, ARGMOD_NULLOK(STRING *s))
-        __attribute__nonnull__(1);
+        __attribute__nonnull__(1)
+        FUNC_MODIFIES(*s);
 
 PARROT_WARN_UNUSED_RESULT
 PARROT_CANNOT_RETURN_NULL

Modified: trunk/src/charset/ascii.c
==============================================================================
--- trunk/src/charset/ascii.c	(original)
+++ trunk/src/charset/ascii.c	Wed Dec 31 21:00:33 2008
@@ -100,7 +100,8 @@
     ARGIN(STRING *src),
     ARGMOD_NULLOK(STRING *dest))
         __attribute__nonnull__(1)
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*dest);
 
 PARROT_CANNOT_RETURN_NULL
 static STRING * to_charset(PARROT_INTERP,
@@ -115,7 +116,8 @@
     ARGMOD_NULLOK(STRING *dest))
         __attribute__nonnull__(1)
         __attribute__nonnull__(2)
-        FUNC_MODIFIES(*src);
+        FUNC_MODIFIES(*src)
+        FUNC_MODIFIES(*dest);
 
 static void upcase(SHIM_INTERP, ARGIN(STRING *source_string))
         __attribute__nonnull__(2);

Modified: trunk/src/charset/iso-8859-1.c
==============================================================================
--- trunk/src/charset/iso-8859-1.c	(original)
+++ trunk/src/charset/iso-8859-1.c	Wed Dec 31 21:00:33 2008
@@ -101,14 +101,16 @@
     ARGIN(STRING *src),
     ARGMOD_NULLOK(STRING *dest))
         __attribute__nonnull__(1)
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*dest);
 
 PARROT_CANNOT_RETURN_NULL
 static STRING * to_unicode(PARROT_INTERP,
     ARGIN(STRING *src),
     ARGMOD_NULLOK(STRING *dest))
         __attribute__nonnull__(1)
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*dest);
 
 static void upcase(PARROT_INTERP, ARGIN(STRING *source_string))
         __attribute__nonnull__(1)

Modified: trunk/src/charset/iso-8859-1.h
==============================================================================
--- trunk/src/charset/iso-8859-1.h	(original)
+++ trunk/src/charset/iso-8859-1.h	Wed Dec 31 21:00:33 2008
@@ -22,7 +22,8 @@
     ARGIN(STRING *src),
     ARGMOD_NULLOK(STRING *dest))
         __attribute__nonnull__(1)
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*dest);
 
 PARROT_CANNOT_RETURN_NULL
 const CHARSET * Parrot_charset_iso_8859_1_init(PARROT_INTERP)

Modified: trunk/src/encodings/utf8.c
==============================================================================
--- trunk/src/encodings/utf8.c	(original)
+++ trunk/src/encodings/utf8.c	Wed Dec 31 21:00:33 2008
@@ -128,7 +128,8 @@
     ARGMOD_NULLOK(STRING *dest))
         __attribute__nonnull__(1)
         __attribute__nonnull__(2)
-        FUNC_MODIFIES(*src);
+        FUNC_MODIFIES(*src)
+        FUNC_MODIFIES(*dest);
 
 static UINTVAL utf8_characters(PARROT_INTERP,
     ARGIN(const utf8_t *ptr),

Modified: trunk/src/stm/waitlist.c
==============================================================================
--- trunk/src/stm/waitlist.c	(original)
+++ trunk/src/stm/waitlist.c	Wed Dec 31 21:00:33 2008
@@ -66,12 +66,14 @@
 static void waitlist_remove(
     ARGMOD_NULLOK(STM_waitlist *waitlist),
     ARGIN(struct waitlist_entry *what))
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*waitlist);
 
 static void waitlist_remove_check(
     ARGMOD_NULLOK(STM_waitlist *waitlist),
     ARGIN(struct waitlist_entry *what))
-        __attribute__nonnull__(2);
+        __attribute__nonnull__(2)
+        FUNC_MODIFIES(*waitlist);
 
 static void waitlist_signal_all(ARGMOD(STM_waitlist *list))
         __attribute__nonnull__(1)

Modified: trunk/tools/build/headerizer.pl
==============================================================================
--- trunk/tools/build/headerizer.pl	(original)
+++ trunk/tools/build/headerizer.pl	Wed Dec 31 21:00:33 2008
@@ -271,7 +271,7 @@
     my $n = 0;
     for my $arg (@args) {
         ++$n;
-        if ( $arg =~ m{ARG(?:MOD|OUT)\((.+?)\)} ) {
+        if ( $arg =~ m{ARG(?:MOD|OUT)(?:_NULLOK)?\((.+?)\)} ) {
             my $modified = $1;
             if ( $modified =~ s/.*\*/*/ ) {
                 # We're OK

• [svn:parrot] r34735 - in trunk: compilers/imcc include/parrot include/parrot/stm src/charset src/encodings src/stm tools/build by petdance