|
|
@ -55,7 +55,7 @@ uint32_t esctrie_id(const esctrie* e){
|
|
|
|
static inline unsigned
|
|
|
|
static inline unsigned
|
|
|
|
create_esctrie_node(automaton* a, int special){
|
|
|
|
create_esctrie_node(automaton* a, int special){
|
|
|
|
if(a->poolused == a->poolsize){
|
|
|
|
if(a->poolused == a->poolsize){
|
|
|
|
unsigned newsize = a->poolsize ? a->poolsize * 2 : 2048;
|
|
|
|
unsigned newsize = a->poolsize ? a->poolsize * 2 : 512;
|
|
|
|
esctrie* tmp = realloc(a->nodepool, sizeof(*a->nodepool) * newsize);
|
|
|
|
esctrie* tmp = realloc(a->nodepool, sizeof(*a->nodepool) * newsize);
|
|
|
|
if(tmp == NULL){
|
|
|
|
if(tmp == NULL){
|
|
|
|
return 0;
|
|
|
|
return 0;
|
|
|
|