fix gcc bug through evil hack....

diff --git a/Robust/src/Runtime/DSTM/interface/dstm.h b/Robust/src/Runtime/DSTM/interface/dstm.h
index a7439836a26638469af8007a68de7def8c6cb70c..b50052a30f08c3e833600d3605f64095be06083a 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/dstm.h
+++ b/Robust/src/Runtime/DSTM/interface/dstm.h
@@ -256,7 +256,7 @@ chashlistnode_t * cnodetmp=&c_table[(inputvalue&c_mask)>>1];        \
 do { \
   if (cnodetmp->key==inputvalue) {x=(void *)&((objheader_t*)cnodetmp->val)[1];break;} \
 cnodetmp=cnodetmp->next;\
-if (cnodetmp==NULL) {x=(void *)transRead2(inputvalue);break;}  \
+ if (cnodetmp==NULL) {x=(void *)transRead2(inputvalue); if (c_mask==4) {c_mask=0;c_table=0;/* Fixes a GCC bug... */};break;} \
 } while(1);\
 }}