Re: [xen 1/6] math: increase bounds and buffers

On Tue, Aug 14, 2018 at 05:00:53PM +0200, Norbert Manthey wrote:
> To get more out of the analysis, increase some buffers and limits.
> 
> Signed-off-by: Norbert Manthey <[email protected]>
> ---
>  smatch_math.c | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/smatch_math.c b/smatch_math.c
> index de9f6c0..fef2baf 100644
> --- a/smatch_math.c
> +++ b/smatch_math.c
> @@ -1137,7 +1137,7 @@ static struct range_list *_get_rl(struct expression *expr, int implied, int *rec
>  	if (!expr)
>  		return NULL;
>  
> -	if (++(*recurse_cnt) >= 200)
> +	if (++(*recurse_cnt) >= 500)
>  		return NULL;

Hopefully, this doesn't matter.  If it does then probably we should look
at a different way to fix the problem.

>  
>  	switch(expr->type) {
> @@ -1199,7 +1199,7 @@ out_cast:
>  struct {
>  	struct expression *expr;
>  	struct range_list *rl;
> -} cached_results[24];
> +} cached_results[72];

The idea here would be that this is a speed up.  Does it really make a
difference?

regards,
dan carpenter