[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-15 Thread debian-gcc at lists dot debian dot org


--- Comment #21 from debian-gcc at lists dot debian dot org  2005-11-15 
08:28 ---
(In reply to comment #20)
 Could people check if the problem was indeed fixed where reported?

bootstrap ok on alpha-linux

  Matthias


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-15 Thread charlet at gcc dot gnu dot org


--- Comment #22 from charlet at gcc dot gnu dot org  2005-11-15 13:51 
---
Subject: Bug 18434

Author: charlet
Date: Tue Nov 15 13:51:09 2005
New Revision: 106950

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=106950
Log:
2005-11-14  Robert Dewar  [EMAIL PROTECTED]
Ed Schonberg  [EMAIL PROTECTED]

PR ada/18434

* types.ads: Include All_Checks in Suppress_Array

* checks.adb (Check_Needed): Remove kludge for a/=b rewritten as
not(a=b), since we no longer do this rewriting, and hence it is not
needed.
(Elaboration_Checks_Suppressed): Add special casing to
deal with different cases of static and dynamic elaboration checks (all
checks does not count in the first case, but does in the second).
(Expr_Known_Valid): Do not assume that the result of any arbitrary
function call is valid, since this is not the case.
(Ensure_Valid): Do not apply validity check to a real literal
in a universal or fixed context

* exp_ch4.adb (Expand_N_Op_Ne): Don't expand a/=b to not(a=b) for
elementary types using the operator in standard. It is cleaner not to
modify the programmers intent, especially in the case of
floating-point.
(Rewrite_Comparison): Fix handling of /= (this was always wrong, but
it did not matter because we always rewrote a/=b to not(a=b).
(Expand_Allocator_Expression): For an allocator expression whose
nominal
subtype is an unconstrained packed type, convert the expression to its
actual constrained subtype.
Implement warning for = or = where  or  not possible
Fix to Vax_Float tests (too early in many routines, causing premature
Vax_Float expansions.

* sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow this pragma
to be used with packages and generic packages as well as with
subprograms.
(Suppress): Set All_Checks, but not Elaboration_Check, for case
of pragma Suppress (All_Checks)
(Analyze_Pragma, case Warnings): Implement first argument allowed to be
a string literal for precise control over warnings.
Avoid raise of pragma in case of unrecognized pragma and just return
instead.

* sem_prag.ads: Minor reformatting

* switch-c.adb (Scan_Front_End_Switches): Replace raise Bad_Switch;
with call to new procedure Bad_Switch. Call Scan_Pos with new parameter
Switch. Do not handle any exception.
Include -gnatwx as part of -gnatg (warn on redundant parens)
Allow optional = after -gnatm
(Scan_Front_End_Switches): The -gnatp switch sets All_Checks, but no
longer sets Elaboration_Checks.
Code to set warning mode moved to Sem_Warn
so that it can be shared by pragma processing.

* s-mastop-tru64.adb (Pop_Frame): Remove redundant parentheses in if
statement.

* s-taprop-solaris.adb: 
Change some = to =, to avoid new warning

* a-exexda.adb, prj-proc.adb: 
Fix obvious typo (Num_Tracebacks compared = 0 instead of  0)
Fix obvious typo (Total_Errors_Detected = 0 should be = 0)

Modified:
trunk/gcc/ada/a-exexda.adb
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/prj-proc.adb
trunk/gcc/ada/s-mastop-tru64.adb
trunk/gcc/ada/s-taprop-solaris.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_prag.ads
trunk/gcc/ada/switch-c.adb
trunk/gcc/ada/types.ads


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-15 Thread charlet at gcc dot gnu dot org


--- Comment #23 from charlet at gcc dot gnu dot org  2005-11-15 14:08 
---
Fixed.

Arno


-- 

charlet at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution||FIXED
   Target Milestone|4.1.0   |4.0.4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-15 Thread olle at cb dot uu dot se


--- Comment #24 from olle at cb dot uu dot se  2005-11-15 17:27 ---
(In reply to comment #20)
 Could people check if the problem was indeed fixed where reported?

I did try the new suggested fix on tru64 5.1B on an Alpha. It gets past the
previous error pointb ut it fails later on while linking 

Somehow an extra -L is generated that disables the default library
search paths.

configured with 

 ../gcc-4.0.2/configure alpha-dec-osf5.1 --enable-languages=c,ada

exactly the same config bootstrapped OK with the preliminary fix

below is an excerpt of the output from make bootstrap

make[4]: Entering directory `/usr/users/olle/xyz/objdir/gcc/ada/tools'
rm -f tools/*
rm -rf tools
mkdir -p tools
(cd tools; ln -s ../sdefault.adb .)
rm -f tools/mlib-tgt.adb; ln -s
/usr/users/olle/xyz/gcc-4.0.2/gcc/ada/mlib-tgt-tru64.adb tools/mlib-tgt.adb;
touch ../stamp-tools
../../gnatmake -c -I../rts -I. -I/usr/users/olle/xyz/gcc-4.0.2/gcc/ada gnatchop
--GCC=../../xgcc -B../../ -O2 -g -O2 -mieee  -gnatpg -gnata
../../xgcc -c -I./ -I../rts -I. -I/usr/users/olle/xyz/gcc-4.0.2/gcc/ada
-B../../ -O2 -g -O2 -mieee -gnatpg -gnata -I-
/usr/users/olle/xyz/gcc-4.0.2/gcc/ada/gnatchop.adb
../../gnatbind -I../rts -I. -I/usr/users/olle/xyz/gcc-4.0.2/gcc/ada -static -x
gnatchop 
../../gnatlink -v gnatchop -o ../../gnatchop --GCC=../../xgcc -B../../
-static-libgcc -I../rts -I. -I/usr/users/olle/xyz/gcc-4.0.2/gcc/ada
../rts/libgnat.a  ../../prefix.o ../../version.o link.o
../../../libiberty/libiberty.a -lexc  

GNATLINK 4.0.2
Copyright 1995-2005 Free Software Foundation, Inc
xgcc -c -gnatA -gnatWb -gnatiw -B../../ -static-libgcc -I../rts -I.
-I/usr/users/olle/xyz/gcc-4.0.2/gcc/ada -gnatws b~gnatchop.adb
../../xgcc b~gnatchop.o ../../prefix.o ../../version.o link.o ../rts/ada.o
../rts/a-charac.o ../rts/a-chlat1.o ../rts/gnat.o ../rts/g-string.o interfac.o
system.o ../rts/s-addope.o s-casuti.o ../rts/g-casuti.o s-htable.o
../rts/s-parame.o ../rts/s-crtl.o ../rts/i-cstrea.o s-purexc.o
../rts/s-restri.o s-stoele.o ../rts/s-carun8.o ../rts/s-imgint.o
../rts/a-comlin.o ../rts/s-stache.o ../rts/s-strops.o ../rts/s-sopco3.o
../rts/s-sopco4.o ../rts/s-sopco5.o ../rts/s-traent.o ../rts/a-elchha.o
../rts/s-except.o ../rts/s-traceb.o ../rts/s-soflin.o s-secsta.o s-exctab.o
../rts/a-ioexce.o ../rts/a-string.o ../rts/a-tags.o ../rts/a-stream.o
../rts/g-os_lib.o ../rts/s-assert.o ../rts/s-finroo.o ../rts/s-memory.o
../rts/s-mastop.o s-stalib.o ../rts/s-unstyp.o a-except.o ../rts/s-bitops.o
../rts/a-strmap.o ../rts/a-stmaco.o ../rts/a-chahan.o ../rts/a-strsea.o
../rts/a-strfix.o ../rts/s-stratt.o ../rts/s-finimp.o ../rts/a-finali.o
../rts/a-filico.o ../rts/g-dirope.o ../rts/g-regexp.o ../rts/g-comlin.o
../rts/s-ficobl.o ../rts/s-fileio.o ../rts/a-textio.o ../rts/s-valuti.o
../rts/s-valuns.o ../rts/s-valint.o gnatvsn.o hostparm.o gnatchop.o -o
../../gnatchop ../rts/libgnat.a ../../../libiberty/libiberty.a -lexc -L
-L../rts/ -L./ -L/usr/users/olle/xyz/gcc-4.0.2/gcc/ada/
-L/usr/local/lib/gcc/alpha-dec-osf5.1/4.0.2/adalib/ ../rts/libgnat.a -lexc
-B../../ -static-libgcc -I../rts -I. -I/usr/users/olle/xyz/gcc-4.0.2/gcc/ada
/bin/ld:
Can't locate file for: -lc
collect2: ld returned 1 exit status
gnatlink: cannot call ../../xgcc
make[4]: *** [../../gnatchop] Error 4
make[4]: Leaving directory `/usr/users/olle/xyz/objdir/gcc/ada/tools'
make[3]: *** [gnattools2] Error 2
make[3]: Leaving directory `/usr/users/olle/xyz/objdir/gcc/ada'
make[2]: *** [gnattools-native] Error 2
make[2]: Leaving directory `/usr/users/olle/xyz/objdir/alpha-dec-osf5.1/libada'
make[1]: *** [all-target-libada] Error 2
make[1]: Leaving directory `/usr/users/olle/xyz/objdir'
make: *** [bootstrap] Error 2


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-15 Thread olle at cb dot uu dot se


--- Comment #25 from olle at cb dot uu dot se  2005-11-15 19:27 ---
(In reply to comment #24)

Seems that the basic difference between the working case (the preliminary
work around) and the final fix is that

in the working case there are two occasions of -L./ in the linking command

in the nonworking case there are one -L and one -L./


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-14 Thread guerby at gcc dot gnu dot org


--- Comment #19 from guerby at gcc dot gnu dot org  2005-11-14 21:34 ---
Subject: Bug 18434

Author: guerby
Date: Mon Nov 14 21:34:34 2005
New Revision: 106906

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=106906
Log:
2005-11-14  Robert Dewar  [EMAIL PROTECTED]

PR ada/18434
* osint-m.adb: Add pragma Elaborate_All for Osint



Modified:
branches/gcc-4_0-branch/gcc/ada/ChangeLog
branches/gcc-4_0-branch/gcc/ada/osint-m.adb


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-14 Thread laurent at guerby dot net


--- Comment #20 from laurent at guerby dot net  2005-11-14 21:39 ---
Could people check if the problem was indeed fixed where reported?


-- 

laurent at guerby dot net changed:

   What|Removed |Added

 Status|ASSIGNED|WAITING


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-14 Thread charlet at gcc dot gnu dot org


--- Comment #18 from charlet at gcc dot gnu dot org  2005-11-14 13:06 
---
Subject: Bug 18434

Author: charlet
Date: Mon Nov 14 13:05:58 2005
New Revision: 106886

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=106886
Log:
2005-11-14  Robert Dewar  [EMAIL PROTECTED]

PR ada/18434
* osint-m.adb: Add pragma Elaborate_All for Osint

Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/osint-m.adb


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-12 Thread debian-gcc at lists dot debian dot org


--- Comment #15 from debian-gcc at lists dot debian dot org  2005-11-12 
14:59 ---
workaround works with 4.0.3 on alpha-linux as well, 4.1 build currently fails
in stage3

  Matthias


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-12 Thread laurent at guerby dot net


--- Comment #16 from laurent at guerby dot net  2005-11-12 16:11 ---
Arnaud has a patch for this issue on trunk and a better workaround patch for
4.0.

Could you post your stage3 failure?


-- 

laurent at guerby dot net changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |charlet at gcc dot gnu dot
   |dot org |org
 Status|NEW |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-11-12 Thread debian-gcc at lists dot debian dot org


--- Comment #17 from debian-gcc at lists dot debian dot org  2005-11-12 
16:41 ---
(In reply to comment #16)
 Arnaud has a patch for this issue on trunk and a better workaround patch for
 4.0.
 
 Could you post your stage3 failure?

actually, it's a stage2 failure, files as PR24821

  Matthias


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-10-30 Thread pinskia at gcc dot gnu dot org


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P2  |P5
   Target Milestone|--- |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-10-22 Thread olle at cb dot uu dot se


--- Comment #13 from olle at cb dot uu dot se  2005-10-22 09:43 ---
(In reply to comment #12)
 Workaround patch here:
 http://gcc.gnu.org/ml/gcc/2005-09/msg00930.html
 
 Rest of discussion here:
 http://gcc.gnu.org/ml/gcc/2005-10/msg00016.html
 
 Seems to be a gnatbind bug present on 4.0 and 4.1.

Just confirmed that the suggested workaround works on tru64 5.1B with gcc-4.0.2


-- 

olle at cb dot uu dot se changed:

   What|Removed |Added

 CC||olle at cb dot uu dot se


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-10-22 Thread bugzilla-gcc at thewrittenword dot com


--- Comment #14 from bugzilla-gcc at thewrittenword dot com  2005-10-22 
13:40 ---
(In reply to comment #13)
 (In reply to comment #12)
  Workaround patch here:
  http://gcc.gnu.org/ml/gcc/2005-09/msg00930.html
  
  Rest of discussion here:
  http://gcc.gnu.org/ml/gcc/2005-10/msg00016.html
  
  Seems to be a gnatbind bug present on 4.0 and 4.1.
 
 Just confirmed that the suggested workaround works on tru64 5.1B with 
 gcc-4.0.2
 

Works on Tru64 UNIX 4.0D and 5.1 with gcc-4.0.2 as well.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434



[Bug ada/18434] [4.0/4.1 Regression] Ada: cannot build gnattools on Tru64 UNIX V5.1B

2005-10-01 Thread laurent at guerby dot net

--- Additional Comments From laurent at guerby dot net  2005-10-01 17:41 
---
Workaround patch here:
http://gcc.gnu.org/ml/gcc/2005-09/msg00930.html

Rest of discussion here:
http://gcc.gnu.org/ml/gcc/2005-10/msg00016.html

Seems to be a gnatbind bug present on 4.0 and 4.1.

-- 
   What|Removed |Added

  Component|target  |ada
  GCC build triplet|alpha-dec-osf5.1b   |
   GCC host triplet|alpha-dec-osf5.1b   |
 GCC target triplet|alpha*  |
Summary|[4.0/4.1 Regression] Cannot |[4.0/4.1 Regression] Ada:
   |build gnattools on Tru64|cannot build gnattools on
   |UNIX V5.1B  |Tru64 UNIX V5.1B


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18434