I enjoyed Dan Carpenter's presentation on 'smatch' at Linux Plumbers this afternoon. FYI, smatch yields false errors when presented with "0b" binary constants, e.g.: ss.c:1388:17: error: constant 0b1111111111111 is not a valid number I think this is because smatch/expression.c get_number_value() uses strtoull() to check integer constants, but strtoull() does not parse "0b" as it does "0x". -Kamal
Attachment:
signature.asc
Description: This is a digitally signed message part