bloom-lang / c4 Goto Github PK

define(foo, {string, string});
define(foo_cnt, {string, int});
foo("a", "A");
foo_cnt(X, count<Y>) :- foo(X, Y);

$ gdb c4i
Reading symbols for shared libraries ......... done
(gdb) run test2.ded
Starting program: c4i/c4i test2.ded
Reading symbols for shared libraries ++++++++................................................. done
Local address = tcp:***.eecs.berkeley.edu:63619
c4: Using base_dir = /Users/joshrosen/c4_home/tcp_63619

Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_INVALID_ADDRESS at address: 0x0000000000000005
[Switching to process 56517 thread 0x40b]
0x0000000100017a3c in string_pin (s=0x1) at libc4/types/datum.c:200
200     s->refcount++;
(gdb) bt
#0  0x0000000100017a3c in string_pin (s=0x1) at libc4/types/datum.c:200
#1  0x0000000100017a1b in datum_copy (in={b = true, c = 1 '\001', i8 = 1, d8 = 4.9406564584124654e-324, s = 0x1}, type=5 '\005') at libc4/types/datum.c:217
#2  0x000000010000c675 in emit_agg_output (group=0x100843bd0, agg_op=0x100843590) at libc4/operator/agg.c:97
#3  0x000000010000c439 in create_agg_group (t=0x100828b90, agg_op=0x100843590) at libc4/operator/agg.c:154
#4  0x000000010000c240 in agg_do_insert (t=0x100828b90, agg_op=0x100843590) at libc4/operator/agg.c:244
#5  0x000000010000ba6d in agg_invoke (op=0x100843590, t=0x100828b90) at libc4/operator/agg.c:27
#6  0x000000010000cf8e in project_invoke (op=0x100843988, t=0x100828b78) at libc4/operator/project.c:14
#7  0x0000000100012e8e in route_tuple_buf (router=0x100812c58, buf=0x100812d60, is_delete=false) at libc4/router.c:107
#8  0x000000010001287e in router_do_fixpoint (router=0x100812c58) at libc4/router.c:133
#9  0x0000000100012a95 in drain_queue (router=0x100812c58) at libc4/router.c:281
#10 0x000000010001279e in router_main_loop (router=0x100812c58) at libc4/router.c:232
#11 0x0000000100012ffd in runtime_thread_main (thread=0x10080bc10, data=0x1001064c0) at libc4/runtime.c:159
#12 0x00007fff90b48772 in _pthread_start ()
#13 0x00007fff90b351a1 in thread_start ()

ERROR: Failed to find variable NRESERVED, at /Users/joshrosen/Documents/boom/c4/src/libc4/planner/plan_expr.c:166

define(prepared, {string, int});
define(good, {string, int});
define(begin, {string});
define(clock, {int});

good(X, NRESERVED) :-
    begin(X),
    notin prepared(X, NRESERVED),
    clock(NRESERVED);

good(X, NRESERVED) :-
    begin(X),
    clock(NRESERVED),
    notin prepared(X, NRESERVED);