On 2/8/22 11:01 PM, Sergey Shtylyov wrote: >> The *switch* statement in usb_dump_endpoint_descriptor() does handle all >> possible endpoint types expilictly, so the *defaut* label is unreachable. > > It's *default*. :-) Please fix when/if merging! Oh, and it's expilicitly! :-/ >> Found by Linux Verification Center (linuxtesting.org) with the SVACE static >> analysis tool. >> >> Signed-off-by: Sergey Shtylyov <s.shtylyov@xxxxxx> > > [...] MBR, Sergey