Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 27683 - gnat-3.15p-r2 Ada.Strings.Maps.Is_Subset bug
Summary: gnat-3.15p-r2 Ada.Strings.Maps.Is_Subset bug
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: x86 Linux
: High major (vote)
Assignee: David Holm (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on: 29257
Blocks:
  Show dependency tree
 
Reported: 2003-09-01 00:00 UTC by Maxim Reznik
Modified: 2005-02-23 08:15 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
bug test (aws_test.adb,263 bytes, text/plain)
2003-09-01 00:01 UTC, Maxim Reznik
Details
gnat-3.15p-r4.ebuild (gnat-3.15p-r4.ebuild,5.63 KB, text/plain)
2004-12-20 13:23 UTC, Maxim Reznik
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Maxim Reznik 2003-09-01 00:00:19 UTC
It seems I found another bug. Could you check?
Follow program works under binary of distribution of gnat-3.15p
Compile it just "gnatmake aws_test.adb"
Comment 1 Maxim Reznik 2003-09-01 00:01:28 UTC
Created attachment 16889 [details]
bug test
Comment 2 David Holm (RETIRED) gentoo-dev 2003-09-02 03:47:52 UTC
Strange bug, this one fails even when using fsu threads (which was not the case with the previous bug).

I'm starting to wonder if I shouldn't spend some time on porting the ACES and ACATS test-suites so we can find all bugs at once.

Maxim, if you have the time, could you please emerge the masked gnat-5.0 and see if it causes the same bug? I'm currently on a PPC and have not yet ported the bootstrap compiler so I only have access to 3.15p (on an external x86 gentoo) at the moment.
Comment 3 Maxim Reznik 2003-09-04 07:22:27 UTC
I have tested gnat-5.0_pre20030822.
It works fine.
Comment 4 David Holm (RETIRED) gentoo-dev 2003-09-07 11:50:20 UTC
I have a lot of schoolwork to do at the moment. I will try to take a serious look at this on tuesday (20030909). Otherwise I will have to put it off to the weekend.
Comment 5 George Shapovalov (RETIRED) gentoo-dev 2003-09-07 18:53:12 UTC
Just my two cents here:
I was playing with 5.0 alpha and I must say that I mostly like what I see. Few bugs seem to be fixed + overal behavior is sometimes more "pleasant". For example recently I was debugging some of my code that was dealing with few inheritances of Controlled and gnat-3.15p was generating really bogus sequence of Finalization calls. Switching to 5.0 alpha made this much more apprehendable. Of course the problem was on my side (and of course inside Adjust calls :)) but at least it was possible to trace it..

So, any wispers on when 5.0 may be released or at least some its beta? ;) alpha is stil an alp[ha, - I don't think marking it stable is a good idea :(.

George
Comment 6 David Holm (RETIRED) gentoo-dev 2003-09-14 10:24:23 UTC
I disabled all optimizations and now it seems to run on my system. This is a 
bit odd because I was previously using the optimizations recommended by ACT. 
Please test and report back. 
 
As for gnat 5.02w. I installed it in school and the new error reporting system 
is more informative than the old one. There is no release date set as GNAT is 
required to be extremely reliable. They will release it when they pass all of 
their requirements. But it should be getting close. I find it strange that the 
CVS is already at 5.02w even though they never released 4.0 or 5.0. 
 
Anyway, please test and report back. I would like to move this to stable now so 
we can start moving the rest of the Ada ebuilds to stable. 
Comment 7 Maxim Reznik 2003-09-17 05:25:20 UTC
I've investigated the problem closely. The cause in function Bit_Eq in s-bitops.adb. It seems the problem in "-fPIC" option.
I looked in s-bitops.ali in ACT distribution. 
There are "-gnatg -gnatp -gnatn -fPIC" compilation options. 
But -fPIC is used only for building *.so libraries.
Object files for static library are built without -fPIC.
When I compile s-bitops.adb with "gnatgcc -O2 -gnatpgn -c s-bitops.adb"
all works fine. 
When I run gnat-3.15p by ACT with "-shared" it fails.
gnatmake aws_test.adb -bargs shared

I think you should fix ebuild so it build static library
without -fPIC option. Will you?
Comment 8 David Holm (RETIRED) gentoo-dev 2003-09-17 13:45:00 UTC
Thanks for the debugging, I am very grateful that you went that far to help me track the bug down. I have so much schoolwork at the moment that I'm only able to spend 1-2 hours (top) each day on this =(.
When I have time I hope to be able to port a couple of test-suites to run with GNAT so that it will be easier to validate new ebuilds.

I will of course look into building the shared and static libraries separately with different options. Right after I have ported GNAT to PPC (which I hope to have accomplished tonight).
Comment 9 David Holm (RETIRED) gentoo-dev 2003-09-21 03:59:32 UTC
Please check if bug #29257 (gnat-3.15p-r3) resolves this bug.
Comment 10 Maxim Reznik 2003-09-21 23:40:25 UTC
Both gnat-3.15p-r3 and "gnat-3.15p-r2 from CVS" resolve this bug.
But I think "-O0" isn't the best solution.
I would prefer "-O2 -gnatpgn" and no "-fPIC" option for static libs.
Comment 11 David Holm (RETIRED) gentoo-dev 2003-09-29 15:47:51 UTC
Ok, I have made your suggested changes to gnat-3.15p-r3 and ran it through
acats4gnat. Please reemerge it if you want it compiled with your suggested
flags.
Comment 12 David Holm (RETIRED) gentoo-dev 2003-10-14 05:44:10 UTC
It passes the tests I've run, and since noone else reported anything I'm
closing this.
Comment 13 Maxim Reznik 2004-12-20 13:19:45 UTC
Recently I upgrated to glibc-2.3.4 and encountered some problems with
gnat from ACT binary 3.15p distribution. So I decided to install
gnat-3.15p from ebuild. Then AWS regression tests failed and I
checked test from this bug. It fails.
I looked in Makefile and found TARGET_LIBGCC2_CFLAGS variable.
They use it for building gnatlib-shared only.
I changed ebuild to use it. 
Now it works fine.
New ebuild is attached.
Comment 14 Maxim Reznik 2004-12-20 13:23:05 UTC
Created attachment 46470 [details]
gnat-3.15p-r4.ebuild

New ebuild - gnat-3.15p-r4.ebuild
Comment 15 David Holm (RETIRED) gentoo-dev 2005-02-23 08:15:15 UTC
Thanks for your help Maxim. I have added this to CVS.