Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Subject: Re: [PATCH] rds: send: mark expected switch fall-through in
 rds_rm_size
To:     David Miller <davem@davemloft.net>, santosh.shilimkar@oracle.com
Cc:     gustavo@embeddedor.com, netdev@vger.kernel.org,
        linux-rdma@vger.kernel.org, rds-devel@oss.oracle.com,
        linux-kernel@vger.kernel.org
References: <20180219181020.GA19154@embeddedgus>
 <9b385269-7f13-983c-caf1-72e050acc6d9@oracle.com>
 <20180220.130157.1101637718168743475.davem@davemloft.net>
From:   "Gustavo A. R. Silva" <garsilva@embeddedor.com>
Message-ID: <66c0eda0-1863-4fb6-897c-c4e7abcdc344@embeddedor.com>
Date:   Tue, 20 Feb 2018 12:09:44 -0600
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.6.0
MIME-Version: 1.0
In-Reply-To: <20180220.130157.1101637718168743475.davem@davemloft.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk


On 02/20/2018 12:01 PM, David Miller wrote:
> From: Santosh Shilimkar <santosh.shilimkar@oracle.com>
> Date: Tue, 20 Feb 2018 09:54:09 -0800
> 
>> So coverity greps for commet as "fall through" for
>> -Wimplicit-fallthrough build ?
> 
>  From what I understand, 'gcc' does in the latest versions.  Coverity
> might as well, I don't know.
> 

Yeah, the one that reports those warnings is GCC.

Coverity only knows about missing break, return and continue.

--
Gustavo