From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 102951 invoked by alias); 23 Oct 2015 14:19:29 -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 102942 invoked by uid 89); 23 Oct 2015 14:19:28 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.7 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_LOW autolearn=no version=3.3.2 X-HELO: smtp.eu.adacore.com Received: from mel.act-europe.fr (HELO smtp.eu.adacore.com) (194.98.77.210) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Fri, 23 Oct 2015 14:19:27 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id B2AE227DFC5A; Fri, 23 Oct 2015 16:19:24 +0200 (CEST) Received: from smtp.eu.adacore.com ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id LTNv1A9Bk6m0; Fri, 23 Oct 2015 16:19:24 +0200 (CEST) Received: from [205.232.38.207] (cacatoes.gnat.com [205.232.38.207]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.eu.adacore.com (Postfix) with ESMTPSA id 8A5FC27DFC55; Fri, 23 Oct 2015 16:19:23 +0200 (CEST) Subject: Re: dynamic array's upper bound evaluated as address for AVR target To: Joel Brobecker , Ulrich Weigand References: <561E11A2.5030206@adacore.com> <20151014094141.54C93DAD@oc7340732750.ibm.com> <20151014122638.GG661@adacore.com> <561E5A7C.1040902@adacore.com> Cc: Sivanupandi Pitchumani , "gdb@sourceware.org" , Andrew Burgess , "tom@tromey.com" From: Pierre-Marie de Rodat Message-ID: <562A41EA.6020304@adacore.com> Date: Fri, 23 Oct 2015 14:19:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: <561E5A7C.1040902@adacore.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-IsSubscribed: yes X-SW-Source: 2015-10/txt/msg00096.txt.bz2 On 10/14/2015 09:37 AM, Pierre-Marie de Rodat wrote: > And to me as well: thank you Ulrich for this crystal clear explanation. > :-) I will give it a try next week, then. Quick update: I started to dig into this. I still have a hard time wrapping the current implementation in my mind[1] and thinking about what we should do exactly: * Have different types for expressions and location lists (hence potentially renaming existing code): looks like a big commit! * Introduce another entry point to evaluate dynamic properties as expressions. Looks like a small change but a weaker design: how to evaluate depends a property depends on the property, not the evaluation context, so it would be great to keep types distinct. I cannot make any commitment on a schedule to implement this, though. [1] Especially considering that dynamic properties handle only locations that resolve to an inferior address. Location resolution for variables don’t rely on this mechanism, which is some kind of inconsistency. On the other hand, dynamic properties are DWARF-specific… -- Pierre-Marie de Rodat