Searched refs:dfa_workspace (Results 1 – 1 of 1) sorted by relevance
824 static int *dfa_workspace = NULL; variable6300 if (dfa_workspace == NULL) in process_data()6301 dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int)); in process_data()6307 use_dat_context, dfa_workspace, DFA_WS_DIMENSION); in process_data()6371 if (dfa_workspace == NULL) in process_data()6372 dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int)); in process_data()6374 dfa_workspace[0] = -1; /* To catch bad restart */ in process_data()6377 use_dat_context, dfa_workspace, DFA_WS_DIMENSION); in process_data()7664 free(dfa_workspace);