Redirecting to the M4 mailing list: > Begin forwarded message: > > From: Flávio Medeiros <[email protected]> > Subject: M4 Analysis > Date: 18 June 2015 17:01:05 BST > To: Gary Vaughan <[email protected]> > > Dear Gary V. Vaughan, > > By analyzing the source code of M4, we found some possible inconsistencies. > To avoid checking invalid configurations, and reporting of false positives, > we would like to ask you whether the project has some constraints among > configuration options in order to improve our analysis (as our tool can check > all possible configuration of the code at once). > > For example, we found an unused function (regfree) when we disable emacs and > ENABLE_CHANGEWORD (see code bellow). > > Is it a valid configuration? Is there a file where we can find this type of > constraints information? > > Best regards, > Flávio > > > File: regex.pi > #ifndef emacs > void regfree (regex_t *preg){ > ... > } > #endif > > File: input.c > #ifdef ENABLE_CHANGEWORD > void set_word_regexp (const char *regexp){ > ... > regfree (&new_word_regexp); > ... > } > #endif
