From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53455) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VEaZr-00032E-LP for qemu-devel@nongnu.org; Wed, 28 Aug 2013 03:54:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VEaZl-0007Se-GK for qemu-devel@nongnu.org; Wed, 28 Aug 2013 03:54:07 -0400 Received: from mx1.redhat.com ([209.132.183.28]:46056) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VEaZl-0007SY-8R for qemu-devel@nongnu.org; Wed, 28 Aug 2013 03:54:01 -0400 Date: Wed, 28 Aug 2013 09:54:12 +0200 From: Kevin Wolf Message-ID: <20130828075412.GB2743@dhcp-200-207.str.redhat.com> References: <1377618961-30439-1-git-send-email-kwolf@redhat.com> <521CCEA6.4070002@weilnetz.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <521CCEA6.4070002@weilnetz.de> Subject: Re: [Qemu-devel] [PATCH] block: Remove redundant assertion List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Stefan Weil Cc: qemu-devel@nongnu.org Am 27.08.2013 um 18:07 hat Stefan Weil geschrieben: > Am 27.08.2013 17:56, schrieb Kevin Wolf: > > The failing condition is checked immediately before the assertion, so > > keeping the assertion is kind of redundant. > > Are you sure that it is not the check which is redundant? > Is file == NULL allowed in this 'else' branch? Allowed in the sense of it's possible to get there, yes. The check that errors out on the condition isn't dead code after reverting 8afaefb8 (which enables the recent work towards blockdev-add): $ x86_64-softmmu/qemu-system-x86_64 -drive file.driver=qcow2,file=/tmp/test.qcow2 qemu-system-x86_64: -drive file.driver=qcow2,file=/tmp/test.qcow2: Can't use 'qcow2' as a block driver for the protocol level qemu-system-x86_64: -drive file.driver=qcow2,file=/tmp/test.qcow2: could not open disk image /tmp/test.qcow2: Invalid argument Kevin > > Signed-off-by: Kevin Wolf > > --- > > block.c | 1 - > > 1 file changed, 1 deletion(-) > > > > diff --git a/block.c b/block.c > > index a387c1a..26639e8 100644 > > --- a/block.c > > +++ b/block.c > > @@ -743,7 +743,6 @@ static int bdrv_open_common(BlockDriverState *bs, BlockDriverState *file, > > ret = -EINVAL; > > goto free_and_fail; > > } > > - assert(file != NULL); > > bs->file = file; > > ret = drv->bdrv_open(bs, options, open_flags); > > } >