Fwd: M4 Analysis

[Gary V. Vaughan]

Redirecting to the M4 mailing list:

> Begin forwarded message:
> 
> From: Flávio Medeiros <address@hidden>
> Subject: M4 Analysis
> Date: 18 June 2015 17:01:05 BST
> To: Gary Vaughan <address@hidden>
> 
> 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