[svn:parrot] r34778 - in branches/assert_args: compilers/imcc include/parrot include/parrot/atomic src

Author: jkeenan
Date: Thu Jan  1 17:11:34 2009
New Revision: 34778

Modified:
   branches/assert_args/compilers/imcc/sets.c
   branches/assert_args/include/parrot/atomic/gcc_x86.h
   branches/assert_args/include/parrot/exec.h
   branches/assert_args/src/exec.c

Log:
Adding ASSERT_ARGS() to all functions in compilers/imcc/sets.c; running 'make headerizer'; storing tested results.

Modified: branches/assert_args/compilers/imcc/sets.c
==============================================================================
--- branches/assert_args/compilers/imcc/sets.c	(original)
+++ branches/assert_args/compilers/imcc/sets.c	Thu Jan  1 17:11:34 2009
@@ -51,6 +51,7 @@
 Set*
 set_make(unsigned int length)
 {
+    ASSERT_ARGS(set_make);
     Set * const s = mem_allocate_zeroed_typed(Set);
     s->length     = length;
     s->bmp        = mem_allocate_n_zeroed_typed(NUM_BYTES(length),
@@ -75,6 +76,7 @@
 Set*
 set_make_full(unsigned int length)
 {
+    ASSERT_ARGS(set_make_full);
     Set * const s      = set_make(length);
     const size_t bytes = NUM_BYTES(length);
 
@@ -98,6 +100,7 @@
 void
 set_free(ARGMOD(Set *s))
 {
+    ASSERT_ARGS(set_free);
     if (s->bmp)
         mem_sys_free(s->bmp);
 
@@ -118,6 +121,7 @@
 void
 set_clear(ARGMOD(Set *s))
 {
+    ASSERT_ARGS(set_clear);
     memset(s->bmp, 0, NUM_BYTES(s->length));
 }
 
@@ -137,6 +141,7 @@
 Set*
 set_copy(ARGIN(const Set *s))
 {
+    ASSERT_ARGS(set_copy);
     Set * const d = set_make(s->length);
 
     memcpy(d->bmp, s->bmp, NUM_BYTES(d->length));
@@ -161,6 +166,7 @@
 set_equal(ARGIN(const Set *s1), ARGIN(const Set *s2))
 {
     int          mask;
+    ASSERT_ARGS(set_equal);
     const size_t bytes = s1->length / 8;
 
     if (s1->length != s2->length)
@@ -195,6 +201,7 @@
 void
 set_add(ARGMOD(Set *s), unsigned int element)
 {
+    ASSERT_ARGS(set_add);
     const int elem_byte_in_set = BYTE_IN_SET(element);
     const int bytes_in_set     = BYTE_IN_SET(s->length);
 
@@ -295,6 +302,7 @@
 set_union(ARGIN(const Set *s1), ARGIN(const Set *s2))
 {
     unsigned int i;
+    ASSERT_ARGS(set_union);
     Set * const s = set_make(s1->length);
 
     if (s1->length != s2->length)
@@ -326,8 +334,9 @@
 Set *
 set_intersec(ARGIN(const Set *s1), ARGIN(const Set *s2))
 {
-    Set * const  s = set_make(s1->length);
     unsigned int i;
+    ASSERT_ARGS(set_intersec);
+    Set * const  s = set_make(s1->length);
 
     if (s1->length != s2->length)
         fatal(1, "set_intersec", "Sets don't have the same length\n");
@@ -355,6 +364,7 @@
 set_intersec_inplace(ARGMOD(Set *s1), ARGIN(const Set *s2))
 {
     unsigned int i;
+    ASSERT_ARGS(set_intersec_inplace);
 
     if (s1->length != s2->length)
         fatal(1, "set_intersec_inplace", "Sets don't have the same length\n");

Modified: branches/assert_args/include/parrot/atomic/gcc_x86.h
==============================================================================
--- branches/assert_args/include/parrot/atomic/gcc_x86.h	(original)
+++ branches/assert_args/include/parrot/atomic/gcc_x86.h	Thu Jan  1 17:11:34 2009
@@ -33,6 +33,10 @@
 long parrot_i386_xadd(ARGIN(volatile long *l), long amount)
         __attribute__nonnull__(1);
 
+#define ASSERT_ARGS_parrot_i386_cmpxchg assert(ptr); \
+                                        assert(expect); \
+                                        assert(update);
+#define ASSERT_ARGS_parrot_i386_xadd assert(l);
 /* Don't modify between HEADERIZER BEGIN / HEADERIZER END.  Your changes will be lost. */
 /* HEADERIZER END: src/atomic/gcc_x86.c */
 

Modified: branches/assert_args/include/parrot/exec.h
==============================================================================
--- branches/assert_args/include/parrot/exec.h	(original)
+++ branches/assert_args/include/parrot/exec.h	Thu Jan  1 17:11:34 2009
@@ -149,6 +149,21 @@
         __attribute__nonnull__(2)
         FUNC_MODIFIES(*obj);
 
+#define ASSERT_ARGS_Parrot_exec_add_text_rellocation assert(obj); \
+                                                     assert(nptr); \
+                                                     assert(symbol);
+#define ASSERT_ARGS_Parrot_exec_add_text_rellocation_func assert(obj); \
+                                                          assert(nptr); \
+                                                          assert(func_name);
+#define ASSERT_ARGS_Parrot_exec_add_text_rellocation_reg assert(obj); \
+                                                         assert(nptr); \
+                                                         assert(var);
+#define ASSERT_ARGS_Parrot_exec assert(interp); \
+                                assert(pc); \
+                                assert(code_start); \
+                                assert(code_end);
+#define ASSERT_ARGS_Parrot_exec_add_symbol assert(obj); \
+                                           assert(symbol);
 /* Don't modify between HEADERIZER BEGIN / HEADERIZER END.  Your changes will be lost. */
 /* HEADERIZER END: src/exec.c */
 

Modified: branches/assert_args/src/exec.c
==============================================================================
--- branches/assert_args/src/exec.c	(original)
+++ branches/assert_args/src/exec.c	Thu Jan  1 17:11:34 2009
@@ -49,6 +49,10 @@
         __attribute__nonnull__(1)
         __attribute__nonnull__(2);
 
+#define ASSERT_ARGS_add_data_member assert(obj);
+#define ASSERT_ARGS_exec_init assert(obj);
+#define ASSERT_ARGS_symbol_list_find assert(obj); \
+                                     assert(symbol);
 /* Don't modify between HEADERIZER BEGIN / HEADERIZER END.  Your changes will be lost. */
 /* HEADERIZER END: static */
 

• [svn:parrot] r34778 - in branches/assert_args: compilers/imcc include/parrot include/parrot/atomic src by jkeenan