914 static int *dfa_workspace = NULL;  variable
5826     if (dfa_workspace == NULL)  in check_match_limit()
5827       dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int));  in check_match_limit()
5829       dfa_workspace[0] = -1;  /* To catch bad restart */  in check_match_limit()
5832       PTR(dat_context), dfa_workspace, DFA_WS_DIMENSION);  in check_match_limit()
7156       if (dfa_workspace == NULL)  in process_data()
7157         dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int));  in process_data()
7163           use_dat_context, dfa_workspace, DFA_WS_DIMENSION);  in process_data()
7248       if (dfa_workspace == NULL)  in process_data()
7249         dfa_workspace = (int *)malloc(DFA_WS_DIMENSION*sizeof(int));  in process_data()
7251         dfa_workspace[0] = -1;  /* To catch bad restart */  in process_data()
7254         use_dat_context, dfa_workspace, DFA_WS_DIMENSION);  in process_data()
8734 free(dfa_workspace);  in main()