Re: [PATCH 05/11] softfloat: Pad array size in pick_nan_muladd

2024-12-03 Thread Philippe Mathieu-Daudé
On 3/12/24 21:39, Richard Henderson wrote: While all indices into val[] should be in [0-2], the mask applied is two bits. To help static analysis see there is no possibility of read beyond the end of the array, pad the array to 4 entries, with the final being (implicitly) NULL. Squash in previ

[PATCH 05/11] softfloat: Pad array size in pick_nan_muladd

2024-12-03 Thread Richard Henderson
While all indices into val[] should be in [0-2], the mask applied is two bits. To help static analysis see there is no possibility of read beyond the end of the array, pad the array to 4 entries, with the final being (implicitly) NULL. Signed-off-by: Richard Henderson --- fpu/softfloat-parts.c.