version 1.13, 2006/03/19 18:17:11 |
version 1.14, 2007/09/02 15:19:31 |
|
|
|
|
if (setvec == 0) { /* first time through any RE */ |
if (setvec == 0) { /* first time through any RE */ |
maxsetvec = MAXLIN; |
maxsetvec = MAXLIN; |
setvec = (int *) malloc(maxsetvec * sizeof(int)); |
setvec = (int *) calloc(maxsetvec, sizeof(int)); |
tmpset = (int *) malloc(maxsetvec * sizeof(int)); |
tmpset = (int *) calloc(maxsetvec, sizeof(int)); |
if (setvec == 0 || tmpset == 0) |
if (setvec == 0 || tmpset == 0) |
overflo("out of space initializing makedfa"); |
overflo("out of space initializing makedfa"); |
} |
} |