Fwd: M4 Analysis

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