1632 |
/* Look for options after final delimiter */ |
/* Look for options after final delimiter */ |
1633 |
|
|
1634 |
options = 0; |
options = 0; |
1635 |
study_options = 0; |
study_options = 0; |
1636 |
log_store = showstore; /* default from command line */ |
log_store = showstore; /* default from command line */ |
1637 |
|
|
1638 |
while (*pp != 0) |
while (*pp != 0) |
1892 |
if (error != NULL) |
if (error != NULL) |
1893 |
fprintf(outfile, "Failed to study: %s\n", error); |
fprintf(outfile, "Failed to study: %s\n", error); |
1894 |
else if (extra != NULL) |
else if (extra != NULL) |
1895 |
{ |
{ |
1896 |
true_study_size = ((pcre_study_data *)(extra->study_data))->size; |
true_study_size = ((pcre_study_data *)(extra->study_data))->size; |
1897 |
if (log_store) |
if (log_store) |
1898 |
{ |
{ |
1899 |
size_t jitsize; |
size_t jitsize; |
1900 |
new_info(re, extra, PCRE_INFO_JITSIZE, &jitsize); |
new_info(re, extra, PCRE_INFO_JITSIZE, &jitsize); |
1901 |
if (jitsize != 0) |
if (jitsize != 0) |
1902 |
fprintf(outfile, "Memory allocation (JIT code): %d\n", jitsize); |
fprintf(outfile, "Memory allocation (JIT code): %d\n", jitsize); |
1903 |
} |
} |
1904 |
} |
} |
1905 |
} |
} |
1906 |
|
|
1907 |
/* If /K was present, we set up for handling MARK data. */ |
/* If /K was present, we set up for handling MARK data. */ |
1908 |
|
|
1909 |
if (do_mark) |
if (do_mark) |