Re: [PATCH smatch] Add safety checks in various modules

[Dan Carpenter <error27@gmail.com>]

On Tue, Oct 06, 2026 at 03:20:40PM +0200, Thomas Fourier wrote:
> diff --git a/smatch_math.c b/smatch_math.c
> index ecb911a2..f5e88bdd 100644
> --- a/smatch_math.c
> +++ b/smatch_math.c
> @@ -69,6 +69,8 @@ static bool last_stmt_rl(struct statement *stmt, int implied, int *recurse_cnt,
>  		return false;
>  
>  	stmt = last_ptr_list((struct ptr_list *)stmt->stmts);
> +	if (!stmt)
> +		return false;
>  	if (stmt->type == STMT_LABEL) {
>  		if (stmt->label_statement &&
>  		    stmt->label_statement->type == STMT_EXPRESSION)
> @@ -1979,6 +1981,9 @@ int get_value(struct expression *expr, sval_t *res_sval)
>  	sval_t sval = {};
>  	int i;
>  
> +	if (!expr || expr->type >= NUM_EXPRESSION)

This could only happen if there is memory corruption so it's really just
a bandaid fix.

Anyway, applied.  Thanks!

regards,
dan carpenter