test_timestamp fails with null orig_el

[GoogleCodeExporter]

Run clpmemdebug on anl_eq in tests


After step 25, it segfaults with:

clpmemdebug: ../../clp/src/timestamp_linked_list.c:73: test_timestamps: 
Assertion `orig_el != ((void *)0) && orig_el->prev != ((void *)0)' failed.

The call stack as seen in gdb:

#3  0x000000000042913e in test_timestamps (ts=0x7fffe544d438) at 
../../clp/src/timestamp_linked_list.c:73
#4  0x00000000004295b1 in add_timestamps (dest=0x7ffff590ffc8, 
orig=0x7fffe544d438, store=0x7ffff6172fc0) at 
../../clp/src/timestamp_linked_list.c:192
#5  0x000000000041ef24 in find_constant_root (c=1, cs=0x7fffe544bfb8, 
ts=0x7ffff590ffc8, store=0x7ffff6172fc0, update_ts=true)
    at ../../clp/src/constants.c:114
#6  0x000000000041f2d0 in equal_constants (c1=..., c2=..., 
consts=0x7fffe544bfb8, ts=0x7ffff590ffc8, store=0x7ffff6172fc0, update_ts=true)
    at ../../clp/src/constants.c:175
#7  0x0000000000418028 in unify_substitution_terms (value=0x7ffff6bd1fe0, 
argument=0x7ffff7fc9fe0, sub=0x7ffff590ffb0, cs=0x7fffe544bfb8, 
    store=0x7ffff6172fc0) at ../../clp/src/substitution.c:261
#8  0x0000000000426836 in insert_rete_alpha_fact_single (net=0x7ffff6463d98, 
node_caches=0x7ffff6309ff0, tmp_subs=0x7ffff6307f28, ts_store=0x7ffff6172fc0, 
    rule_queue=0x7ffff5b72f60, node=0x7ffff6495fb0, fact=0x7fffe4a75ff0, step=25, sub=0x7ffff590ffb0, cs=0x7fffe544bfb8)
    at ../../clp/src/rete_insert_single.c:349
#9  0x00000000004284fd in queue_worker_routine (arg=0x7ffff6360fa8) at 
../../clp/src/rete_worker.c:128
#10 0x00007ffff7528efc in start_thread () from 
/lib/x86_64-linux-gnu/libpthread.so.0
#11 0x00007ffff726359d in clone () from /lib/x86_64-linux-gnu/libc.so.6
#12 0x0000000000000000 in ?? ()

Original issue reported on code.google.com by [email protected] on 13 Mar 2012 at 10:58