Changeset df4aea7 for src/examples/gc_no_raii/bug-repro/push_back.c

Timestamp:

Apr 21, 2016, 10:27:55 AM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

8c8b614

Parents:

3365b37

Message:

all implemented files compile

File:

• src/examples/gc_no_raii/bug-repro/push_back.c (modified) (1 diff)

src/examples/gc_no_raii/bug-repro/push_back.c

@@ -2 +2 @@
 #include <stdint.h>
 
-//------------------------------------------------------------------------------
-//Declaration
-trait allocator_c(otype T, otype allocator_t) {
-        void realloc(allocator_t*, size_t);
-        T* data(allocator_t*);
-};
-
-forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
-struct vector
-{
-        allocator_t storage;
-        size_t size;
-};
-
-//------------------------------------------------------------------------------
-//Allocator
-forall(otype T)
-struct heap_allocator
-{
-        T* storage;
-        size_t capacity;
-};
-
-forall(otype T)
-void realloc(heap_allocator(T)* this, size_t size);
-
-forall(otype T)
-inline T* data(heap_allocator(T)* this)
-{
-        return this->storage;
-}
-
-//------------------------------------------------------------------------------
-//Modifiers
-forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
-void push_back(vector(T, allocator_t)* this, T value);
+#include "push_back.h"
 
 typedef vector(intptr_t*, heap_allocator(intptr_t*)) worklist_t;
 
-inline void test()
+void test()
 {
         worklist_t w;
-        intptr_t zero = 0;
-        push_back(&w, &zero);
+        if(!empty(&w))
+        {
+                intptr_t zero = 0;
+                push_back(&w, &zero);
+        }
 }