[SeaBIOS] hw/usb-msc.c: Branch condition evaluates to a garbage value

Kevin O'Connor kevin at koconnor.net
Tue Aug 30 18:00:20 CEST 2016


On Mon, Aug 29, 2016 at 07:03:25PM +0200, Paul Menzel wrote:
> Dear SeaBIOS developers,
> 
> 
> Building the attached configuration with GCC 5.3.0 and the static analyzer
> scan-build shipped with Clang 3.8, the following error is reported in
> `src/hw/usb-msc.c` in line 110.
> 
> The static analyzer seems to think that the struct member is not
> initialized. But I guess it’s done in the line below, and therefore a false
> positive?
> 
> ```
> ret = usb_msc_send(udrive_gf, USB_DIR_IN
>                        , MAKE_FLATPTR(GET_SEG(SS), &csw), sizeof(csw));
> ```

Looks like a false positive to me.

-Kevin



More information about the SeaBIOS mailing list