From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753130AbbIWIVB (ORCPT ); Wed, 23 Sep 2015 04:21:01 -0400 Received: from metis.ext.pengutronix.de ([92.198.50.35]:46214 "EHLO metis.ext.pengutronix.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752798AbbIWIU7 (ORCPT ); Wed, 23 Sep 2015 04:20:59 -0400 Message-ID: <1442996455.4589.1.camel@pengutronix.de> Subject: Re: [PATCH 16/38] gpu: ipu-v3: fix div_ratio type From: Philipp Zabel To: Andrzej Hajda Cc: linux-kernel@vger.kernel.org, Bartlomiej Zolnierkiewicz , Marek Szyprowski , Hans Verkuil , Boris BREZILLON Date: Wed, 23 Sep 2015 10:20:55 +0200 In-Reply-To: <1442842450-29769-17-git-send-email-a.hajda@samsung.com> References: <1442842450-29769-1-git-send-email-a.hajda@samsung.com> <1442842450-29769-17-git-send-email-a.hajda@samsung.com> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.12.9-1+b1 Mime-Version: 1.0 Content-Transfer-Encoding: 7bit X-SA-Exim-Connect-IP: 2001:67c:670:100:96de:80ff:fec2:9969 X-SA-Exim-Mail-From: p.zabel@pengutronix.de X-SA-Exim-Scanned: No (on metis.ext.pengutronix.de); SAEximRunCond expanded to false X-PTX-Original-Recipient: linux-kernel@vger.kernel.org Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi Andrzej, Am Montag, den 21.09.2015, 15:33 +0200 schrieb Andrzej Hajda: > The variable can be negative. > > The problem has been detected using proposed semantic patch > scripts/coccinelle/tests/unsigned_lesser_than_zero.cocci [1]. > > [1]: http://permalink.gmane.org/gmane.linux.kernel/2038576 > > Signed-off-by: Andrzej Hajda Applied, thank you. regards Philipp