From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 55389 invoked by alias); 14 Oct 2015 10:15:28 -0000 Mailing-List: contact gdb-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sourceware.org Received: (qmail 55373 invoked by uid 89); 14 Oct 2015 10:15:27 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.1 required=5.0 tests=AWL,BAYES_00,MIME_BASE64_BLANKS,SPF_PASS,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 X-HELO: eusmtp01.atmel.com Received: from eusmtp01.atmel.com (HELO eusmtp01.atmel.com) (212.144.249.242) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-SHA encrypted) ESMTPS; Wed, 14 Oct 2015 10:15:26 +0000 Received: from apsmtp01.atmel.com (10.168.254.30) by eusmtp01.atmel.com (10.161.101.30) with Microsoft SMTP Server id 14.3.235.1; Wed, 14 Oct 2015 12:15:19 +0200 Received: from PENCHT01.corp.atmel.com (10.168.5.161) by apsmtp01.corp.atmel.com (10.168.254.30) with Microsoft SMTP Server (TLS) id 14.3.235.1; Wed, 14 Oct 2015 18:15:17 +0800 Received: from PENMBX01.corp.atmel.com ([10.168.5.210]) by PENCHT01.corp.atmel.com ([fe80::95df:d3d0:4452:28e3%12]) with mapi id 14.03.0235.001; Wed, 14 Oct 2015 18:15:19 +0800 From: "Sivanupandi, Pitchumani" To: Pierre-Marie de Rodat , Joel Brobecker CC: "gdb@sourceware.org" , Andrew Burgess , "tom@tromey.com" , "uweigand@de.ibm.com" Subject: RE: dynamic array's upper bound evaluated as address for AVR target Date: Wed, 14 Oct 2015 10:15:00 -0000 Message-ID: References: <561D18AD.6080701@adacore.com> <561DFC25.5020106@adacore.com> <561E11A2.5030206@adacore.com> In-Reply-To: <561E11A2.5030206@adacore.com> Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-SW-Source: 2015-10/txt/msg00068.txt.bz2 DQo+IC0tLS0tT3JpZ2luYWwgTWVzc2FnZS0tLS0tDQo+IEZyb206IFBpZXJy ZS1NYXJpZSBkZSBSb2RhdCBbbWFpbHRvOmRlcm9kYXRAYWRhY29yZS5jb21d DQo+IFNlbnQ6IDE0IE9jdG9iZXIgMjAxNSAxMzo1Ng0KPiBUbzogU2l2YW51 cGFuZGksIFBpdGNodW1hbmk7IEpvZWwgQnJvYmVja2VyDQo+IENjOiBnZGJA c291cmNld2FyZS5vcmc7IEFuZHJldyBCdXJnZXNzOyB0b21AdHJvbWV5LmNv bTsgdXdlaWdhbmRAZGUuaWJtLmNvbQ0KPiBTdWJqZWN0OiBSZTogZHluYW1p YyBhcnJheSdzIHVwcGVyIGJvdW5kIGV2YWx1YXRlZCBhcyBhZGRyZXNzIGZv ciBBVlIgdGFyZ2V0DQo+IA0KPiBPbiAxMC8xNC8yMDE1IDA5OjU0IEFNLCBT aXZhbnVwYW5kaSwgUGl0Y2h1bWFuaSB3cm90ZToNCj4gPiBJdCBpcyBub3Qg bWVhbnQgZm9yIGludGVnZXIgdG8gYWRkcmVzcyBjb252ZXJzaW9uLCByYXRo ZXIgdHJhbnNmb3JtaW5nDQo+ID4gdGhlIGxvY2F0aW9uIGV4cHJlc3Npb24g dmFsdWUgYXMgdGFyZ2V0IGFkZHJlc3MNCj4gPiAodmFsdWUuYzp2YWx1ZV9h c19hZGRyZXNzKSBpZiB0YXJnZXQgaGFzIHNvbWUgc3BlY2lhbCBoYW5kbGlu Zy4gSW4gQVZSDQo+ID4gY2FzZSwgdG8gZGlmZmVyZW50aWF0ZSB0aGUgbWVt b3J5IHR5cGUgKGZsYXNoLCBzcmFtLCBlZXByb20pIHdlIGhhdmUNCj4gPiB0 aGlzIG1hc2sgc28gdGhhdCBkZWJ1Z2dlciBjYW4gaWRlbnRpZnkgdGhlIGNv cnJlY3QgbWVtb3J5IHR5cGUgZnJvbSB0aGF0DQo+IGFkZHJlc3MuDQo+IA0K PiBUaGFuayB5b3UgZm9yIHlvdXIgYW5zd2VycywgYW5kIHNvcnJ5IGZvciB0 aGUgbmV3IHF1ZXN0aW9ucywgSSBqdXN0IHRyeSB0bw0KPiB1bmRlcnN0YW5k IGJvdGggdGhlIG5lZWQgYW5kIHRoZSBzb2x1dGlvbiBpbiBwbGFjZSBmb3Ig aXQuIDstKQ0KPiANCj4gSWYgYWxsIHRoZXNlIG1lbW9yaWVzIHNoYXJlIHRo ZSBzYW1lIGFkZHJlc3Mgc3BhY2UsIHdoeSBkb27igJl0IGxvY2F0aW9uDQo+ IGV4cHJlc3Npb25zIChzbyBjb21waWxlciBnZW5lcmF0ZWQpIGNvbXB1dGUg ZGlyZWN0bHkgbWFza2VkIGFkZHJlc3Nlcz8NCj4gV2hhdCBhZGRyZXNzZXMg ZG9lcyB0aGUgaW5mZXJpb3IgcHJvY2Vzc2VzPyAobGlrZTogaW4gcmVnaXN0 ZXJzLCBldGMuKSBhcmUNCj4gdGhlc2UgbWFza2VkIGFzIHdlbGw/DQoNCkFW UiBoYXMgZGlmZmVyZW50IGFkZHJlc3Mgc3BhY2VzIChIYXJ2YXJkIGFyY2hp dGVjdHVyZSkuIENvbXBpbGVyDQooYXZyLWdjYykgZ2VuZXJhdGVzIGZpY3Rp dGlvdXMgYWRkcmVzc2VzIHRvIHN1cHBvcnQgaXQuDQpBbHNvIHJlZmVyOg0K QVZSIEJhY2tncm91bmQgaW4gYXZyLXRkZXAuYw0KaHR0cHM6Ly9zb3VyY2V3 YXJlLm9yZy9tbC9nZGIvMjAxNC0xMC9tc2cwMDE0Mi5odG1sDQoNClJlZ2Fy ZHMsDQpQaXRjaHVtYW5pDQo= >From gdb-return-44747-listarch-gdb=sources.redhat.com@sourceware.org Wed Oct 14 12:26:47 2015 Return-Path: Delivered-To: listarch-gdb@sources.redhat.com Received: (qmail 121454 invoked by alias); 14 Oct 2015 12:26:47 -0000 Mailing-List: contact gdb-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sourceware.org Delivered-To: mailing list gdb@sourceware.org Received: (qmail 121443 invoked by uid 89); 14 Oct 2015 12:26:46 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.6 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_LOW autolearn=no version=3.3.2 X-HELO: rock.gnat.com Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Wed, 14 Oct 2015 12:26:45 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 34CD829661; Wed, 14 Oct 2015 08:26:43 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 7Nhsat8z-B0j; Wed, 14 Oct 2015 08:26:43 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 4936A29268; Wed, 14 Oct 2015 08:26:40 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id AA2B542BBA; Wed, 14 Oct 2015 05:26:38 -0700 (PDT) Date: Wed, 14 Oct 2015 12:26:00 -0000 From: Joel Brobecker To: Ulrich Weigand Cc: Pierre-Marie de Rodat , Sivanupandi Pitchumani , "gdb@sourceware.org" , Andrew Burgess , "tom@tromey.com" Subject: Re: dynamic array's upper bound evaluated as address for AVR target Message-ID: <20151014122638.GG661@adacore.com> References: <561E11A2.5030206@adacore.com> <20151014094141.54C93DAD@oc7340732750.ibm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20151014094141.54C93DAD@oc7340732750.ibm.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-SW-Source: 2015-10/txt/msg00069.txt.bz2 Content-length: 892 > I think the current GDB "dynamic property" mechanism was probably intended > to capture what DWARF section 2.19 specifies, but due to its simultaneous > use for DW_AT_data_location and DW_AT_static_link, things got confused. > > It would probably be best to clearly separate this out into two separate > mechanisms, one that precisely implements dynamic properties as defined > in section 2.19, and one that implements location descriptions. (Note > that those mechanism should ideally then be used for some of the *other* > places where the DWARF standard also allows either a dynamic property or > a location description, but GDB doesn't accept them yet.) > > This would then have the side effect that we could distinguish return > types: location descriptions always return an address, but section 2.19 > dynamic attributes always return an integer. Sounds correct to me. -- Joel