comp.lang.ada
 help / color / mirror / Atom feed
From: rracine@draper.com (Roger Racine)
Subject: Re: discriminant
Date: 1999/07/12
Date: 1999-07-12T00:00:00+00:00	[thread overview]
Message-ID: <rracine.22.000F0325@draper.com> (raw)
In-Reply-To: 378c1097.184220259@news.dsuper.net

In article <378c1097.184220259@news.dsuper.net> fluffy_doo@dsuper.net writes:
>On Mon, 12 Jul 1999 13:11:20 GMT, in comp.lang.ada you wrote:
>>After that, I created a test, which worked fine on the latest 
>>GNAT (3.12a) on Windows NT.
>>
>>What version of what compiler are you using on what host?

>Aonix :         ObjectAda for Windows V7.1.105 (special edition).
>OS :            Windows 95 (4.00.950)
>machine :       P150

>>Can you provide a complete test that fails?

>There's no failure, and there *should* be one.  I was using the
>debugger while checking something else when I noticed the problem I've
>described (which made it difficult or impossible to continue the
>original check with the debugger I was trying to make).  Maybe it's a
>debugger problem.  Maybe it's just not showing me the actual value for
>the variable I'm looking at.

>Anyway, I'll make some changes so the var names and comments
>correspond to English terms and I'll make another post with the
>attachment containing the function that returns a T_Number type.  I
>should probably also include the function that makes the reciprocal
>conversion ( T_Number => String ) so that you can at least output to
>the screen.

>Keep in mind though that both functions have errors in them, they're
>earlier versions.  The errors are not related to the problem I'm
>discussing here.  Also, in the current versions there is no longer a
>"Point" field with the "kind = REAL" discriminant.  The whole point of
>this post and my previous one is not the actual value returned or
>output of my String => T_Number function but what goes on inside it:
>assigning a new value to the "Power_R" field affects an unwanted and
>unexplained change in the value of the "Point"  field, and the new
>value of the "Point" field is *outside* the field's range.  When I
>then try to assign a new value to Point, a few lines of code down, its
>value doesn't change, like it's locked in, but the debugger doesn't
>complain.  This is what I see with the debugger.

>I've got to go to school now.  I'll do it tonight.

>Thanks for helping.

It looks like my test was similar to your code.  I simply tried to assign a
value to the Power_R field without changing anything else.  I did it three
times in a row without any problems using GNAT.  

I just used the AONIX compiler (same version as you) to see 
what happens, and your behavior is seen (the value of Point is changed 
to a garbage value, at least as seen in the debugger).

It looks like it is an AONIX bug.  

Roger Racine






  reply	other threads:[~1999-07-12  0:00 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-07-11  0:00 discriminant fluffy_doo
1999-07-12  0:00 ` discriminant Roger Racine
1999-07-12  0:00   ` discriminant fluffy_doo
1999-07-12  0:00     ` Roger Racine [this message]
1999-07-13  0:00       ` discriminant fluffy_puff
1999-07-13  0:00         ` discriminant Ted Dennison
1999-07-13  0:00           ` discriminant fluffy_dong
1999-07-15  0:00             ` discriminant Ted Dennison
1999-07-16  0:00               ` discriminant fluffy_puff
1999-07-13  0:00         ` discriminant Roger Racine
  -- strict thread matches above, loose matches on Subject: below --
1997-01-13  0:00 discriminant AGBOH CHARLES
1997-01-13  0:00 ` discriminant KJPrice
1997-01-15  0:00 ` discriminant Michael F Brenner
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox