Changeset 46f1d20 for src/examples/gc_no_raii/test

Timestamp:

Sep 9, 2016, 11:50:04 AM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

ddcfb88

Parents:

850fda6

Message:

some changes to checks in gc which are very intrusive

File:

• src/examples/gc_no_raii/test/badlll.c (modified) (3 diffs)

src/examples/gc_no_raii/test/badlll.c

@@ -1 +1 @@
 #include "gc.h"
+
+#include <stdio.h>
 
 struct List_t
@@ -7 +9 @@
 };
 
-void ?{}(List_t* this);
-List_t* ?=?(List_t* this, List_t* rhs);
-
 typedef gcpointer(List_t) LLL;
 
 #define MAX (1024 * 1024)
 
-// LLL buildLLL(int sz)
-void bla()
+LLL buildLLL(int sz)
 {
-        int i;
-        // LLL ll0;//, lll, llc;
-//
-//      ll0 = gcmalloc();
-//      ll0->val = 0;
-//      lll = ll0;
-//
-//      for (i = 1; i < sz; i++)
-//      {
-//              llc = gcmalloc();
-//              llc->val = i;
-//              lll->next = llc;
-//              lll = llc;
-//      }
-//
-        // return ll0;
+        int i = 0;
+        LLL ll0, lll, llc;
+
+        gcmalloc( &ll0 );
+        List_t* ll0_ptr = get( &ll0 );
+        ll0_ptr->val = i;
+        lll = ll0;
+
+        for (i = 1; i < sz; i++)
+        {
+                gcmalloc( &llc );
+                List_t* llc_ptr = get( &llc );
+                llc_ptr->val = i;
+                List_t* lll_ptr = get( &lll );
+                lll_ptr->next = llc;
+
+                lll = llc;
+        }
+
+        return ll0;
 }
-//
-// void testLLL(LLL lll)
-// {
-//      unsigned char *counted;
-//
-//      counted = (unsigned char *) calloc(MAX, sizeof(unsigned char));
-//      while (lll)
-//      {
-//              counted[lll->val]++;
-//              if (counted[lll->val] > 1)
-//              {
-//                      fprintf(stderr, "ERROR! Encountered %d twice!\n", lll->val);
-//                      exit(1);
-//              }
-//              lll = lll->next;
-//      }
-//
-//      return;
-// }
+
+void testLLL(LLL lll)
+{
+        unsigned char *counted;
+
+        counted = (unsigned char *) calloc(MAX, sizeof(unsigned char));
+        while (lll)
+        {
+                List_t* lll_ptr = get( &lll );
+                counted[lll_ptr->val]++;
+                if (counted[lll_ptr->val] > 1)
+                {
+                        fprintf(stderr, "ERROR! Encountered %d twice!\n", lll_ptr->val);
+                        exit(1);
+                }
+                lll = lll_ptr->next;
+        }
+
+        return;
+}
 
 int main(void)
@@ -58 +61 @@
         LLL mylll;
 
-        // mylll = buildLLL(MAX);
-        //
-        // testLLL(mylll);
+        mylll = buildLLL(MAX);
+
+        testLLL(mylll);
 
         return 0;