Searched refs:dfa_workspace (Results 1 – 1 of 1) sorted by relevance
3015 int *dfa_workspace = NULL; in main() local5124 if (dfa_workspace == NULL) in main()5125 dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int)); in main()5130 dfa_workspace, DFA_WS_DIMENSION); in main()5193 if (dfa_workspace == NULL) in main()5194 dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int)); in main()5196 dfa_workspace[0] = -1; /* To catch bad restart */ in main()5198 (options | g_notempty), use_offsets, use_size_offsets, dfa_workspace, in main()5731 if (dfa_workspace != NULL) in main()5732 free(dfa_workspace); in main()