From: Duckysmokton <duckysmokton@free.fr>
Subject: Re: Dynamic_Predicate and dispatching call
Date: Tue, 15 Nov 2016 05:12:50 -0800 (PST)
Date: 2016-11-15T05:12:50-08:00 [thread overview]
Message-ID: <d3ea0443-8287-4619-9afa-2399063aeeed@googlegroups.com> (raw)
In-Reply-To: <a25de191-bf1d-40d5-876c-1b1c5b32c975@googlegroups.com>
Le lundi 7 novembre 2016 16:34:23 UTC+1, Egil H H a écrit :
> Wild guess: Remove the Gnat (SPARK) specific aspect Extensions_Visible...
>
> From the description[1] of Extensions_Visible:
> "For example, if a formal parameter of a specific tagged type T is converted to a class-wide type and then used as a controlling operand in a dispatching call, then the (dynamic) callee might reference components of the parameter which are declared in some extension of T."
>
> (As for the troll bait: wrong usage of compiler specific stuff could definitely cause similar behaviour in C++, or any other language.)
>
> [1]. http://docs.adacore.com/spark2014-docs/html/lrm/subprograms.html#extensions-visible-aspects
Interesting guess, but no... removing the aspect does not change the behavior of the compiler
(indeed, this aspect is required only if SPARK_Mode is on).
Thanx anyway
prev parent reply other threads:[~2016-11-15 13:12 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-11-07 15:00 Dynamic_Predicate and dispatching call Duckysmokton
2016-11-07 15:34 ` Egil H H
2016-11-15 13:12 ` Duckysmokton [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox