From: Colin Ian King
There is a corner case where the sanity check of variable size fails
and branches to label fail and shift can be less than PAGE_SHIFT
causing area to never be assigned. This was picked up by static
analysis as follows:
1. var_decl: Declaring variable area without initial
Excerpts from Colin King's message of March 19, 2021 1:59 am:
> From: Colin Ian King
>
> There is a corner case where the sanity check of variable size fails
> and branches to label fail and shift can be less than PAGE_SHIFT
> causing area to never be assigned. This was picked up by static
> anal
2 matches
Mail list logo