Searched refs:dfa_workspace (Results 1 – 1 of 1) sorted by relevance
3012 int *dfa_workspace = NULL; in main() local5121 if (dfa_workspace == NULL) in main()5122 dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int)); in main()5127 dfa_workspace, DFA_WS_DIMENSION); in main()5190 if (dfa_workspace == NULL) in main()5191 dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int)); in main()5193 dfa_workspace[0] = -1; /* To catch bad restart */ in main()5195 (options | g_notempty), use_offsets, use_size_offsets, dfa_workspace, in main()5698 if (dfa_workspace != NULL) in main()5699 free(dfa_workspace); in main()