From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20457 invoked by alias); 18 Nov 2013 15:53:36 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 20415 invoked by uid 89); 18 Nov 2013 15:53:35 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.7 required=5.0 tests=AWL,BAYES_00,RDNS_NONE,SPF_HELO_PASS,SPF_PASS,URIBL_BLOCKED autolearn=no version=3.3.2 X-HELO: mx1.redhat.com Received: from Unknown (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 18 Nov 2013 15:53:34 +0000 Received: from int-mx11.intmail.prod.int.phx2.redhat.com (int-mx11.intmail.prod.int.phx2.redhat.com [10.5.11.24]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id rAIFrK7Z010795 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Mon, 18 Nov 2013 10:53:20 -0500 Received: from barimba (ovpn-113-124.phx2.redhat.com [10.3.113.124]) by int-mx11.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id rAIFrJfp018146 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO); Mon, 18 Nov 2013 10:53:19 -0500 From: Tom Tromey To: "Agovic\, Sanimir" Cc: "gdb-patches\@sourceware.org" Subject: Re: [PATCH 05/10] vla: allow side effects for sizeof argument References: <1382366424-21010-1-git-send-email-sanimir.agovic@intel.com> <1382366424-21010-6-git-send-email-sanimir.agovic@intel.com> <87d2mua1gi.fsf@fleche.redhat.com> <0377C58828D86C4588AEEC42FC3B85A71769F292@IRSMSX105.ger.corp.intel.com> <87ppqp9kme.fsf@fleche.redhat.com> <0377C58828D86C4588AEEC42FC3B85A7176B5F16@IRSMSX105.ger.corp.intel.com> Date: Mon, 18 Nov 2013 15:56:00 -0000 In-Reply-To: <0377C58828D86C4588AEEC42FC3B85A7176B5F16@IRSMSX105.ger.corp.intel.com> (Sanimir Agovic's message of "Mon, 18 Nov 2013 08:39:00 +0000") Message-ID: <87vbzppuz5.fsf@fleche.redhat.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SW-Source: 2013-11/txt/msg00471.txt.bz2 >>>>> "Sanimir" == Agovic, Sanimir writes: Sanimir> It turns out this patch is not needed anymore as the bounds are Sanimir> resolved before the sizeof function is called. So in v2 this Sanimir> patch will be dropped from the series. Tom> (gdb) print sizeof (array[x++]) Tom> For an ordinary array this should not modify x. Sanimir> Indeed, that is the behavior we have now in HEAD@vla-c99. I thought sizeof with a vla as an argument had to evaluate its argument. So it seems that the above may yield incorrect semantics in some other test case. Tom