Ian Dowse wrote: > >If it is intentional, we should make it with "/* fall through */" > > Good idea. The correct way to shut up real lint is: /* FALLSTHROUGH */ It's in the same category as: /* ARGSUSED */ -- Terry