From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751476AbbCGRgK (ORCPT ); Sat, 7 Mar 2015 12:36:10 -0500 Received: from mail-wg0-f51.google.com ([74.125.82.51]:46087 "EHLO mail-wg0-f51.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751025AbbCGRgE (ORCPT ); Sat, 7 Mar 2015 12:36:04 -0500 Message-ID: <1425749756.11323.5.camel@gmail.com> Subject: Re: [PATCH RESEND] Staging: rtl8188eu: fix double unlock From: Matteo Semenzato Reply-To: 54FB3523.7060600@lwfinger.net To: Larry Finger Cc: "linux-kernel@vger.kernel.org" Date: Sat, 07 Mar 2015 18:35:56 +0100 In-Reply-To: <54FB3523.7060600@lwfinger.net> References: <1425742407-6619-1-git-send-email-mattew8898@gmail.com> <54FB3523.7060600@lwfinger.net> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.12.11 Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Il giorno sab, 07/03/2015 alle 11.28 -0600, Larry Finger ha scritto: > Have you actually tested this patch, or did you find this with some static checker? > > Larry The double unlock was found using smatch.