[Bug ada/21489] Wrong code generated for legal program, RM 6.4.1(13), 9.5.1(3), 9.5.3(8)
--- Comment #3 from sam at gcc dot gnu dot org 2007-12-05 09:27 --- This is fixed in SVN trunk -- sam at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21489
[Bug ada/21489] Wrong code generated for legal program, RM 6.4.1(13), 9.5.1(3), 9.5.3(8)
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-05 09:25 --- Subject: Bug 21489 Author: sam Date: Wed Dec 5 09:25:38 2007 New Revision: 130617 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130617 Log: gcc/ada/ PR ada/21489 * exp_ch9.adb (Build_Simple_Entry_Call): Initialize OUT access type parameters of an entry call. gcc/testsuite/ PR ada/21489 * gnat.dg/rm_6_4_1_13.adb: New test. Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/exp_ch9.adb trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21489
[Bug ada/34344] New: Bug box, Assert_Failure elists.adb:167 from illegal Ada 2005 program
package pak1 is type T1 is interface; function F1(X: T1) return Integer is abstract; type T2 is tagged null record; function F2(X: T2) return Integer; end pak1; limited with pak1; package pak2 is x1: access pak1.T1'Class; x2: access pak1.T2'Class; N1: Integer := x1.F1; -- line 5 N2: Integer := x2.F2; end pak2; gnatmake -gnat05 pak2 gcc-4.1 -c -gnat05 pak2.ads +===GNAT BUG DETECTED==+ | 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) | | Assert_Failure elists.adb:167| | Error detected at pak2.ads:5:22 | gcc -c -gnat05 pak2.ads +===GNAT BUG DETECTED==+ | 4.2.2 (i686-unknown-linux-gnu) Assert_Failure elists.adb:167 | | Error detected at pak2.ads:5:22 | With line 5 commented out, I get: gcc-4.1 -c -gnat05 pak2.ads +===GNAT BUG DETECTED==+ | 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) | | Assert_Failure elists.adb:167| | Error detected at pak2.ads:6:22 | -- Summary: Bug box, Assert_Failure elists.adb:167 from illegal Ada 2005 program Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34344
[Bug middle-end/33088] [4.1/4.2/4.3 Regression] spurious exceptions with -ffloat-store
--- Comment #11 from ebotcazou at gcc dot gnu dot org 2007-12-05 10:12 --- We could probably get away with a kludge for -ffloat-store and optimization, but currently the flag comes into play only very late (in TER) and I think it's better to keep this. So I think the approach to solving this is two-pronged: - at -O0, do not promote the partial stores to total stores in the gimplifier, - at -O1 or above, insert dummy initializations for "uninitialized" SSA names, this should be cleaned up at the RTL level (if -ffloat-store is not passed). Andrew, IIRC you extended DECL_COMPLEX_GIMPLE_REG_P to DECL_GIMPLE_REG_P, can vectors be affected by the same issue? -- ebotcazou at gcc dot gnu dot org changed: What|Removed |Added CC||pinskia at gcc dot gnu dot ||org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33088
[Bug ada/34344] Bug box, Assert_Failure elists.adb:167 from illegal Ada 2005 program
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-05 09:40 --- GNAT 4.3.0 20071204 (experimental) Copyright 1992-2007, Free Software Foundation, Inc. Compiling: pak2.ads (source file time stamp: 2007-12-05 09:33:51) 6. N1: Integer := x1.F1; -- line 5 | >>> no selector "F1" for type "t1'class" defined at pak1.ads:2 7. N2: Integer := x2.F2; | >>> no selector "F2" for type "t2'class" defined at pak1.ads:4 8 lines: 2 errors -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34344
[Bug c++/34271] [4.3 regression] ICE in invalid initialization of static template member
--- Comment #2 from jakub at gcc dot gnu dot org 2007-12-05 10:45 --- Subject: Bug 34271 Author: jakub Date: Wed Dec 5 10:45:21 2007 New Revision: 130619 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130619 Log: PR c++/34271 * semantics.c (finish_decltype_type): For SCOPE_REF issue an error instead of assertion failure. * parser.c (cp_parser_decltype): If closing paren is not found, return error_mark_node. * g++.dg/cpp0x/decltype9.C: New test. * g++.dg/cpp0x/decltype10.C: New test. Added: trunk/gcc/testsuite/g++.dg/cpp0x/decltype10.C trunk/gcc/testsuite/g++.dg/cpp0x/decltype9.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/parser.c trunk/gcc/cp/semantics.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34271
[Bug c++/34271] [4.3 regression] ICE in invalid initialization of static template member
--- Comment #3 from jakub at gcc dot gnu dot org 2007-12-05 11:15 --- Fixed. -- jakub at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34271
[Bug fortran/34345] New: gfortran compiles SLATEC library, but the executable fails
Overview Description: A very simple TEST.F code using D1MACH.F from SLATEC (to initialize machine constants) compiles correctly using GFORTRAN, but the produced executable gives nonsense results. Steps to Reproduce: 1. Save the following program TEST.F and the routine D1MACH.F ** program test implicit none real(8) d1mach write(6,*)1,d1mach(1) write(6,*)2,d1mach(2) write(6,*)3,d1mach(3) write(6,*)4,d1mach(4) write(6,*)5,d1mach(5) stop end program test ** DOUBLE PRECISION FUNCTION D1MACH (I) C INTEGER SMALL(4) INTEGER LARGE(4) INTEGER RIGHT(4) INTEGER DIVER(4) INTEGER LOG10(4) C DOUBLE PRECISION DMACH(5) SAVE DMACH EQUIVALENCE (DMACH(1),SMALL(1)) EQUIVALENCE (DMACH(2),LARGE(1)) EQUIVALENCE (DMACH(3),RIGHT(1)) EQUIVALENCE (DMACH(4),DIVER(1)) EQUIVALENCE (DMACH(5),LOG10(1)) C C MACHINE CONSTANTS FOR THE INTEL i860 C DATA DMACH(1) / Z'0010' / DATA DMACH(2) / Z'7FEF' / DATA DMACH(3) / Z'3CA0' / DATA DMACH(4) / Z'3CB0' / DATA DMACH(5) / Z'3FD34413509F79FF' / C***FIRST EXECUTABLE STATEMENT D1MACH D1MACH = DMACH(I) RETURN C END ** 2. Compile with the command gfortran test.f d1mach.f -o test.exe 3. Run ./test.exe Actual results: ./test.exe 1 4503599627370496.0 2 9.21886843722740531E+018 3 4.36849163854938112E+018 4 4.37299523817675162E+018 5 4.59909449422310451E+018 Expected results: ./test.exe 1 2.2250738585072014E-308 2 1.7976931348623157E+308 3 1.1102230246251565E-16 4 2.220446049250313E-16 5 0.3010299956639812 Build date and platform: Dec.05.2007, WinXP (cygwin environment) Additional information: 1. gfortran --version GNU Fortran (GCC) 4.3.0 20071017 (experimental) [trunk revision 129419] 2. gcc --version gcc.exe (GCC) 4.3.0 20071017 (experimental) [trunk revision 129419] -- Summary: gfortran compiles SLATEC library, but the executable fails Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: fortran AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: fabio dot subba at polito dot it http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34345
[Bug ada/21489] Wrong code generated for legal program, RM 6.4.1(13), 9.5.1(3), 9.5.3(8)
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21489
[Bug ada/34346] New: Bug box, Assert_Failure atree.adb:812 in legal Ada 2005 program
package test1 is package pak2 is x1: integer; end pak2; type T1 is interface; type T2 is interface; procedure p1(x2: T1; x3: integer := pak2.x1) is abstract; type T3 is new T2 and T1 with null record; procedure p1(x2: T3; x3: integer := pak2.x1); -- line 13 end test1; gnatmake -gnat05 test1 gcc-4.1 -c -gnat05 test1.ads +===GNAT BUG DETECTED==+ | 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) | | Assert_Failure atree.adb:812 | | Error detected at test1.ads:13:44| gcc -c -gnat05 test1.ads +===GNAT BUG DETECTED==+ | 4.2.2 (i686-unknown-linux-gnu) Assert_Failure atree.adb:812 | | Error detected at test1.ads:15:44| -- Summary: Bug box, Assert_Failure atree.adb:812 in legal Ada 2005 program Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34346
[Bug ada/15804] Illegal program not detected, RM 3.8.1(2)
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15804
[Bug ada/34346] Bug box, Assert_Failure atree.adb:812 in legal Ada 2005 program
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-05 12:13 --- This has already been fixed in trunk. -- sam at gcc dot gnu dot org changed: What|Removed |Added CC||sam at gcc dot gnu dot org Known to work||4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34346
[Bug ada/34347] Bug box in gnat_to_gnu_entity, at ada/decl.c:231 in legal Ada 2005 program
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-05 12:22 --- Already fixed in trunk. -- sam at gcc dot gnu dot org changed: What|Removed |Added CC||sam at gcc dot gnu dot org Status|UNCONFIRMED |RESOLVED Known to work||4.3.0 Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34347
[Bug ada/34347] New: Bug box in gnat_to_gnu_entity, at ada/decl.c:231 in legal Ada 2005 program
package Pak1 is pragma Elaborate_Body; type T1 is abstract tagged null record; function F1 (X1: T1) return access Integer is abstract; end Pak1; package body Pak1 is procedure P2 (X2: T1) is I : Integer; begin I := F1(T1'Class(X2)).all; -- line 6 end P2; end Pak1; gnatmake -gnat05 pak1 gcc-4.1 -c -gnat05 pak1.adb +===GNAT BUG DETECTED==+ | 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) GCC error:| | in gnat_to_gnu_entity, at ada/decl.c:231 | | Error detected at pak1.adb:6:12 | gcc -c -gnat05 pak1.adb +===GNAT BUG DETECTED==+ | 4.2.2 (i686-unknown-linux-gnu) in gnat_to_gnu_entity, at ada/decl.c:230 | | Error detected at pak1.adb:6:12 | -- Summary: Bug box in gnat_to_gnu_entity, at ada/decl.c:231 in legal Ada 2005 program Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34347
[Bug ada/32792] Assert_Failure sinfo.adb:1730
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32792
[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559
[Bug ada/17318] Put_Line (X'Img (Index)), index ignored
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17318
[Bug middle-end/33088] [4.1/4.2/4.3 Regression] spurious exceptions with -ffloat-store
--- Comment #12 from pinskia at gcc dot gnu dot org 2007-12-05 10:44 --- (In reply to comment #11) > Andrew, IIRC you extended DECL_COMPLEX_GIMPLE_REG_P to DECL_GIMPLE_REG_P, can > vectors be affected by the same issue? No because vector types are not effected by -ffloat-store and there is no magic in initializing vector piece wise as far as I know unless the vector type is memory (as only BIT_FIELD_REF is optimized for the first element so far). Thanks, Andrew Pinski -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33088
[Bug fortran/29975] [meta-bugs] ICEs with CP2K
--- Comment #143 from jv244 at cam dot ac dot uk 2007-12-05 10:12 --- CP2K fails again to compile all.f90:51639.23: TYPE(cp_error_type), INTENT(inout) :: error 1 Error: Derived type 'cp_error_type' at (1) is being used before it is defined -- jv244 at cam dot ac dot uk changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29975
[Bug fortran/34333] if(nan == nan) wrongly returns TRUE, when nan is a parameter
--- Comment #5 from burnus at gcc dot gnu dot org 2007-12-05 13:42 --- Subject: Bug 34333 Author: burnus Date: Wed Dec 5 13:42:32 2007 New Revision: 130623 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130623 Log: 2007-12-05 Tobias Burnus <[EMAIL PROTECTED]> PR fortran/34333 * arith.h (gfc_compare_expr): Add operator argument, needed for compare_real. * arith.c (gfc_arith_init_1): Use mpfr_min instead of * mpfr_cmp/set to account for NaN. (compare_real): New function, as mpfr_cmp but takes NaN into account. (gfc_compare_expr): Use compare_real. (compare_complex): Take NaN into account. (gfc_arith_eq,gfc_arith_ne,gfc_arith_gt,gfc_arith_ge,gfc_arith_lt, gfc_arith_le): Pass operator to gfc_compare_expr. * resolve.c (compare_cases,resolve_select): Pass operator to gfc_compare_expr. * simplify.c (simplify_min_max): Take NaN into account. 2007-12-05 Tobias Burnus <[EMAIL PROTECTED]> PR fortran/34333 * gfortran.dg/nan_2.f90: New. Added: trunk/gcc/testsuite/gfortran.dg/nan_2.f90 Modified: trunk/gcc/fortran/ChangeLog trunk/gcc/fortran/arith.c trunk/gcc/fortran/arith.h trunk/gcc/fortran/resolve.c trunk/gcc/fortran/simplify.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34333
[Bug middle-end/34349] Internal Compiler Error (fatal)
--- Comment #1 from rask at gcc dot gnu dot org 2007-12-05 13:50 --- *** This bug has been marked as a duplicate of 33777 *** -- rask at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Component|c |middle-end Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34349
[Bug rtl-optimization/34312] [4.3 regression] spill failure with -O2 -fPIC -march=pentium-m on i386
--- Comment #9 from ubizjak at gmail dot com 2007-12-05 13:54 --- (In reply to comment #8) > > Instead, -fPIC should unconditionally decrease the available regparm by 1. > Yes, this seems to be the best solution in the short term. I'm testing following patch: Index: i386.c === --- i386.c (revision 130622) +++ i386.c (working copy) @@ -3200,7 +3200,7 @@ ix86_function_regparm (const_tree type, /* Make sure no regparm register is taken by a global register variable. */ for (local_regparm = 0; local_regparm < 3; local_regparm++) - if (global_regs[local_regparm]) + if (global_regs[local_regparm] || fixed_regs[local_regparm]) break; /* We can't use regparm(3) for nested functions as these use @@ -3226,7 +3226,7 @@ ix86_function_regparm (const_tree type, so the more global reg vars there are, the smaller regparm optimization use, unless requested by the user explicitly. */ for (regno = 0; regno < 6; regno++) - if (global_regs[regno]) + if (global_regs[regno] || fixed_regs[regno]) globals++; local_regparm = globals < local_regparm ? local_regparm - globals : 0; The rationale is that fixed reg, as well as global reg should decrease the number of registers available for argument passing. When %ebx is used as -fpic reg for 32bit targets, this does exactly what Comment #6 suggests. This patch of course doesn't lower the importance of the fix for PR 19398. ;) -- ubizjak at gmail dot com changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |ubizjak at gmail dot com |dot org | Status|NEW |ASSIGNED Last reconfirmed|2007-12-03 11:28:04 |2007-12-05 13:54:47 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34312
[Bug ada/34344] Bug box, Assert_Failure elists.adb:167 from illegal Ada 2005 program
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-05 12:35 --- This is already fixed in SVN trunk. -- sam at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Known to work||4.3.0 Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34344
[Bug ada/34347] Bug box in gnat_to_gnu_entity, at ada/decl.c:231 in legal Ada 2005 program
--- Comment #2 from ludovic at ludovic-brenta dot org 2007-12-05 12:28 --- *** Bug 34348 has been marked as a duplicate of this bug. *** -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34347
[Bug ada/34348] New: Bug box in gnat_to_gnu_entity, at ada/decl.c:231
package pak1 is pragma elaborate_body; type T1 is abstract tagged null record; function f1 (x1: T1) return access integer is abstract; end pak1; package body pak1 is procedure p2 (x2: T1) is i: integer; begin i := f1(T1'class(x2)).all; -- line 6 end p2; end pak1; gnatmake -gnat05 pak1 gcc-4.1 -c -gnat05 pak1.adb +===GNAT BUG DETECTED==+ | 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) GCC error:| | in gnat_to_gnu_entity, at ada/decl.c:231 | | Error detected at pak1.adb:6:12 | gcc -c -gnat05 pak1.adb +===GNAT BUG DETECTED==+ | 4.2.2 (i686-unknown-linux-gnu) in gnat_to_gnu_entity, at ada/decl.c:230 | | Error detected at pak1.adb:6:12 | -- Summary: Bug box in gnat_to_gnu_entity, at ada/decl.c:231 Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34348
[Bug ada/34284] Missing dynamic library support for GNAT 4.3.0 on x86-*-Darwin8
--- Comment #8 from sam at gcc dot gnu dot org 2007-12-05 14:35 --- Fixed in SVN trunk, thanks for the patch. -- sam at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34284
[Bug middle-end/33777] Crash during a build of zsh
--- Comment #5 from rask at gcc dot gnu dot org 2007-12-05 13:50 --- *** Bug 34349 has been marked as a duplicate of this bug. *** -- rask at gcc dot gnu dot org changed: What|Removed |Added CC||henman at tech dot email dot ||ne dot jp http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33777
[Bug rtl-optimization/34312] [4.3 regression] spill failure with -O2 -fPIC -march=pentium-m on i386
--- Comment #11 from ubizjak at gmail dot com 2007-12-05 16:03 --- Fixed. -- ubizjak at gmail dot com changed: What|Removed |Added URL||http://gcc.gnu.org/ml/gcc- ||patches/2007- ||12/msg00188.html Status|ASSIGNED|RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34312
[Bug rtl-optimization/34312] [4.3 regression] spill failure with -O2 -fPIC -march=pentium-m on i386
--- Comment #10 from uros at gcc dot gnu dot org 2007-12-05 16:01 --- Subject: Bug 34312 Author: uros Date: Wed Dec 5 16:01:22 2007 New Revision: 130625 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130625 Log: PR target/34312 * config/i386/i386.c (ix86_function_regparm): Also check for fixed registers when checking that regparm registers are available. Lower regparm value due to fixed registers usage in addition to global regs usage. testsuite/ChangeLog: PR target/34312 * gcc.target/i386/pr34312.c: New test. Added: trunk/gcc/testsuite/gcc.target/i386/pr34312.c Modified: trunk/gcc/ChangeLog trunk/gcc/config/i386/i386.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34312
[Bug fortran/34335] [4.3 Regression] valid code rejected when reordering USE statements
--- Comment #6 from pault at gcc dot gnu dot org 2007-12-05 15:18 --- (In reply to comment #5) > *** Bug 34339 has been marked as a duplicate of this bug. *** > OK Thanks all - I'm onto it. Paul -- pault at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |pault at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2007-12-04 20:35:07 |2007-12-05 15:18:19 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34335
[Bug ada/34284] Missing dynamic library support for GNAT 4.3.0 on x86-*-Darwin8
--- Comment #7 from sam at gcc dot gnu dot org 2007-12-05 14:35 --- Subject: Bug 34284 Author: sam Date: Wed Dec 5 14:34:48 2007 New Revision: 130624 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130624 Log: 2007-12-05 Bechir Zalila <[EMAIL PROTECTED]> gnattools/ PR ada/34284 * configure.ac: Added a missing switch case for *86-*-darwin* when defining the value of TOOLS_TARGET_PAIRS. * configure: Regenerated. Modified: trunk/gnattools/ChangeLog trunk/gnattools/configure trunk/gnattools/configure.ac -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34284
[Bug target/34091] [4.2/4.3 Regression] ICE in reload_cse_simplify_operands, at postreload.c:392
--- Comment #15 from ebotcazou at gcc dot gnu dot org 2007-12-05 17:42 --- > 2) pa_secondary_reload() requests a secondary scratch register reload for > essentially everything when CLASS is FP_REGS. However, reload is treating > this reload as optional, resulting in spill failures and out of range REG+D > addresses. You should request a secondary reload when you need one, like on the SPARC. Currently the only return value of pa_secondary_reload is NO_REGS. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34091
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #5 from janis at gcc dot gnu dot org 2007-12-05 19:02 --- I was going to do a regression hunt on this, but discovered that it doesn't fail with current cross compilers for sparc-linux and i686-linux. With powerpc-linux it fails for 20071120 and passes for 20071130. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug middle-end/20548] ACATS c52103x c52104x c52104y segfault
--- Comment #26 from sam at gcc dot gnu dot org 2007-12-05 18:57 --- Eric, what is the status for this PR? Is there some work to do on your patch? Or is the issue moot? -- sam at gcc dot gnu dot org changed: What|Removed |Added CC||sam at gcc dot gnu dot org GCC build triplet||[EMAIL PROTECTED] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20548
gcc-bugs@gcc.gnu.org
--- Comment #4 from raksit at google dot com 2007-12-05 19:27 ---
For the rtl emitted on x86 processors, the combiner is almost able to optimize
the shift away. It combines and simplifies the 3 instructions down to:
Failed to match this instruction:
(set (reg:SI 64)
(mem/s:SI (plus:SI (and:SI (reg/v:SI 59 [ x ])
(const_int 12 [0xc]))
(symbol_ref:SI ("array") )) [3
array S4 A32]))
It gives up at this point. The solution is to introduce a split to do the AND,
followed by the load. This can be done in machine-independent way by modifying
find_split_point in combine.c. Patch coming up shortly.
-raksit
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27971
[Bug target/34091] [4.2/4.3 Regression] ICE in reload_cse_simplify_operands, at postreload.c:392
--- Comment #16 from dave at hiauly1 dot hia dot nrc dot ca 2007-12-05
19:01 ---
Subject: Re: [4.2/4.3 Regression] ICE in reload_cse_simplify_operands, at
postreload.c:392
> You should request a secondary reload when you need one, like on the SPARC.
> Currently the only return value of pa_secondary_reload is NO_REGS.
The sparc hasn't been updated to use the new TARGET_SECONDARY_RELOAD
mechanism. It is my understanding that setting sri->icode and
returing NO_REGS requests a secondary reload with a scratch register
meeting the constraint for operand[2] in the specified reload pattern.
It's true that we currently never request and intermediate register.
This would be specified by returning a different register class
(e.g., GENERAL_REGS). Returning GENERAL_REGS for some of the cases
covered here
/* Handle out of range displacement for integer mode loads/stores of
FP registers. */
if (((regno >= FIRST_PSEUDO_REGISTER || regno == -1)
&& GET_MODE_CLASS (mode) == MODE_INT
&& FP_REG_CLASS_P (class))
|| (class == SHIFT_REGS
&& FP_REG_CLASS_P (REGNO_REG_CLASS (regno)
{
sri->icode = in_p ? reload_in_optab[mode] : reload_out_optab[mode];
return NO_REGS;
}
can "fix" this PR. However, copying through the general registers
is less efficient than the code currently generated by emit_move_sequence.
Further, I find that I still need the current reload code when x is
a SUBREG. Requesting a general register intermediate doesn't work.
In theory, we shouldn't have these problems when generating PA 2.0 code
since integer and floating point loads/stores both support 14-bit offsets,
but in practice the mode change limitations force use to do a secondary reload.
This patch fixes this PR and PR 32889, and there are no regressions
with any PA target that I test on. However, I'm worried because this whole
process requires that secondary reloads not be optional. We also have
an asymmetry in the handling of (subreg (mem)) and (mem).
Index: config/pa/pa.md
===
--- config/pa/pa.md (revision 130587)
+++ config/pa/pa.md (working copy)
@@ -3183,60 +3183,11 @@
(define_insn ""
[(set (match_operand:HI 0 "move_dest_operand"
- "=r,r,r,r,r,Q,!*q,!r,!*f,?r,?*f")
- (match_operand:HI 1 "move_src_operand"
- "r,J,N,K,RQ,rM,!rM,!*q,!*fM,*f,r"))]
- "(register_operand (operands[0], HImode)
-|| reg_or_0_operand (operands[1], HImode))
- && !TARGET_SOFT_FLOAT
- && !TARGET_64BIT"
- "@
- copy %1,%0
- ldi %1,%0
- ldil L'%1,%0
- {zdepi|depwi,z} %Z1,%0
- ldh%M1 %1,%0
- sth%M0 %r1,%0
- mtsar %r1
- {mfctl|mfctl,w} %sar,%0
- fcpy,sgl %f1,%0
- {fstws|fstw} %1,-16(%%sp)\n\t{ldws|ldw} -16(%%sp),%0
- {stws|stw} %1,-16(%%sp)\n\t{fldws|fldw} -16(%%sp),%0"
- [(set_attr "type"
"move,move,move,shift,load,store,move,move,move,fpstore_load,store_fpload")
- (set_attr "pa_combine_type" "addmove")
- (set_attr "length" "4,4,4,4,4,4,4,4,4,8,8")])
-
-(define_insn ""
- [(set (match_operand:HI 0 "move_dest_operand"
- "=r,r,r,r,r,Q,!*q,!r,!*f")
- (match_operand:HI 1 "move_src_operand"
- "r,J,N,K,RQ,rM,!rM,!*q,!*fM"))]
- "(register_operand (operands[0], HImode)
-|| reg_or_0_operand (operands[1], HImode))
- && !TARGET_SOFT_FLOAT
- && TARGET_64BIT"
- "@
- copy %1,%0
- ldi %1,%0
- ldil L'%1,%0
- {zdepi|depwi,z} %Z1,%0
- ldh%M1 %1,%0
- sth%M0 %r1,%0
- mtsar %r1
- {mfctl|mfctl,w} %sar,%0
- fcpy,sgl %f1,%0"
- [(set_attr "type" "move,move,move,shift,load,store,move,move,move")
- (set_attr "pa_combine_type" "addmove")
- (set_attr "length" "4,4,4,4,4,4,4,4,4")])
-
-(define_insn ""
- [(set (match_operand:HI 0 "move_dest_operand"
"=r,r,r,r,r,Q,!*q,!r")
(match_operand:HI 1 "move_src_operand"
"r,J,N,K,RQ,rM,!rM,!*q"))]
"(register_operand (operands[0], HImode)
-|| reg_or_0_operand (operands[1], HImode))
- && TARGET_SOFT_FLOAT"
+|| reg_or_0_operand (operands[1], HImode))"
"@
copy %1,%0
ldi %1,%0
@@ -3356,60 +3307,11 @@
(define_insn ""
[(set (match_operand:QI 0 "move_dest_operand"
- "=r,r,r,r,r,Q,!*q,!r,!*f,?r,?*f")
- (match_operand:QI 1 "move_src_operand"
- "r,J,N,K,RQ,rM,!rM,!*q,!*fM,*f,r"))]
- "(register_operand (operands[0], QImode)
-|| reg_or_0_operand (operands[1], QImode))
- && !TARGET_SOFT_FLOAT
- && !TARGET_64BIT"
- "@
- copy %1,%0
- ldi %1,%0
- ldil L'%1,%0
- {zdepi|depwi,z} %Z1,%0
- ldb%M1 %1,%0
- stb%M0 %r1,%0
- mtsar %r1
- {mfctl|mfctl,w} %%sar,%0
- fcpy,sgl %f1,%0
- {fstws|fstw} %1,-16(%%sp)\n\t{ldws|ldw} -16(%%sp),%0
- {stws|stw} %1,-16(%%sp)\n\t{fldws|fldw} -16(%%sp),%0"
- [(set_attr "type"
"move,move,move,shift,load,store,move,move,move,fpstore_load,store_fpload")
- (set
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #7 from rguenth at gcc dot gnu dot org 2007-12-05 19:11 ---
extern void free (void *__ptr);
struct shparam
{
char **p;
int foo;
};
static struct shparam shellparam;
inline void freeparam (volatile struct shparam *param, char **ap)
{
free ((void *) (*ap));
free ((void *) (param->p));
}
void dotcmd (char **p)
{
freeparam (&shellparam, p);
}
void evaltree (void)
{
void (*evalfn) (char **);
evalfn = dotcmd;
}
Still ICEs at -O2 for me.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #6 from rguenth at gcc dot gnu dot org 2007-12-05 19:10 --- The bug is at least masked by 2007-11-21 Richard Guenther <[EMAIL PROTECTED]> PR tree-optimization/34148 * tree-ssa-structalias.c (create_variable_info_for): Do not use field-sensitive PTA for single-element structures. * tree-ssa-alias.c (create_overlap_variables_for): Do not create SFTs for single-element structures. as the struct in the testcase has a single field. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug fortran/34342] BOZ extensions not diagnosed as such with -std=f95
--- Comment #1 from patchapp at dberlin dot org 2007-12-05 18:07 --- Subject: Bug number PR34342 A patch for this bug has been added to the patch tracker. The mailing list url for the patch is http://gcc.gnu.org/ml/gcc-patches/2007-12/msg00202.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34342
[Bug target/34350] [bfin]: ICE: in legitimize_pic_address, at config/bfin/bfin.c:325
--- Comment #2 from rask at gcc dot gnu dot org 2007-12-05 17:00 --- And the configure arguments: --target bfin-unknown-elf --enable-checking=yes,rtl --with-newlib --enable-sim --disable-gdb --disable-nls --disable-libffi --disable-target-libffi --disable-boehm-gc --disable-target-boehm-gc --without-x -- rask at gcc dot gnu dot org changed: What|Removed |Added Known to fail||4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34350
[Bug target/34350] New: [bfin]: ICE: in legitimize_pic_address, at config/bfin/bfin.c:325
Revision 130561 fails to build libstdc++:
gcc/xgcc -Bgcc/ -S -o /dev/null -O2 -msep-data /tmp/complex_io.cc
/home/rask/build/gcc-bfin-unknown-elf/bfin-unknown-elf/msep-data/libstdc++-v3/include/complex:
In function 'std::basic_ostream<_CharT, _Traits>&
std::operator<<(std::basic_ostream<_CharT, _Traits>&, const std::complex<_Tp>&)
[with _Tp = double, _CharT = char, _Traits = std::char_traits]':
/home/rask/build/gcc-bfin-unknown-elf/bfin-unknown-elf/msep-data/libstdc++-v3/include/complex:528:
internal compiler error: in legitimize_pic_address, at config/bfin/bfin.c:325
(gdb) bt
#0 internal_error (gmsgid=0xc38bc7 "in %s, at %s:%d") at
/n/12/rask/src/all/gcc/diagnostic.c:600
#1 0x00647fac in fancy_abort (file=, line=325,
function=0xcab0a0 "legitimize_pic_address")
at /n/12/rask/src/all/gcc/diagnostic.c:660
#2 0x00a4a068 in legitimize_pic_address (orig=,
reg=0x0, picreg=0x2ae99d869d40) at
/n/12/rask/src/all/gcc/config/bfin/bfin.c:325
#3 0x00a4a369 in emit_pic_move (operands=0x7fff0d80e280, mode=) at /n/12/rask/src/all/gcc/config/bfin/bfin.c:1964
#4 0x00a4a55f in expand_move (operands=0x7fff0d80e280, mode=SImode) at
/n/12/rask/src/all/gcc/config/bfin/bfin.c:1979
#5 0x00a8d2d8 in gen_movsi (operand0=0x2ae99e9ddde0,
operand1=0x2ae99e9ad840) at /n/12/rask/src/all/gcc/config/bfin/bfin.md:706
#6 0x006b6756 in emit_move_insn_1 (x=0x2ae99e9ddde0, y=0x2ae99e9ad840)
at /n/12/rask/src/all/gcc/expr.c:3179
#7 0x0079c714 in gen_move_insn (x=0x2ae99e9ddde0, y=0x2ae99e9ad840) at
/n/12/rask/src/all/gcc/optabs.c:4996
#8 0x00809590 in gen_reload (out=0x2ae99e9ddde0, in=0x2ae99e9ad840,
opnum=1, type=RELOAD_FOR_INPUT) at /n/12/rask/src/all/gcc/reload1.c:8048
#9 0x0080b03f in do_input_reload (chain=,
rl=0xe9e028, j=1) at /n/12/rask/src/all/gcc/reload1.c:6995
#10 0x0080c546 in emit_reload_insns (chain=0x103c208) at
/n/12/rask/src/all/gcc/reload1.c:7421
(gdb) frame 3
#3 0x00a4a369 in emit_pic_move (operands=0x7fff0d80e280, mode=) at /n/12/rask/src/all/gcc/config/bfin/bfin.c:1964
1964operands[1] = legitimize_pic_address (operands[1], temp,
(gdb) call debug_rtx(operands[0])
(reg:SI 2 R2)
(gdb) call debug_rtx(operands[1])
(const:SI (plus:SI (symbol_ref:SI
("_ZTVSt19basic_ostringstreamIcSt11char_traitsIcESaIcEE") [flags 0x40]
)
(const_int 12 [0xc])))
(gdb) frame 10
#10 0x0080c546 in emit_reload_insns (chain=0x103c208) at
/n/12/rask/src/all/gcc/reload1.c:7421
7421 do_input_reload (chain, rld + j, j);
(gdb) call debug_rtx (chain->insn)
(insn 46 45 52 2
/home/rask/build/gcc-bfin-unknown-elf/bfin-unknown-elf/msep-data/libstdc++-v3/include/sstream:413
(set (mem/s/f/c:SI (plus:SI (reg/f:SI 15 FP)
(const_int -208 [0xff30])) [4
__s.D.18269._vptr.basic_ostream+0 S4 A32])
(const:SI (plus:SI (symbol_ref:SI
("_ZTVSt19basic_ostringstreamIcSt11char_traitsIcESaIcEE") [flags 0x40]
)
(const_int 12 [0xc] 14 {*movsi_insn} (nil))
(gdb) call debug_reload()
Reload 0: reload_out (SI) = (mem/s/f/c:SI (plus:SI (reg/f:SI 15 FP)
(const_int -208
[0xff30])) [4 __s.D.18269._vptr.basic_ostream+0 S4 A32])
DPREGS, RELOAD_FOR_OUTPUT (opnum = 0), optional
reload_out_reg: (mem/s/f/c:SI (plus:SI (reg/f:SI 15 FP)
(const_int -208
[0xff30])) [4 __s.D.18269._vptr.basic_ostream+0 S4 A32])
Reload 1: reload_in (SI) = (const:SI (plus:SI (symbol_ref:SI
("_ZTVSt19basic_ostringstreamIcSt11char_traitsIcESaIcEE") [flags 0x40]
)
(const_int 12 [0xc])))
DPREGS, RELOAD_FOR_INPUT (opnum = 1), can't combine
reload_in_reg: (reg/f:SI 242)
reload_reg_rtx: (reg:SI 2 R2)
--
Summary: [bfin]: ICE: in legitimize_pic_address, at
config/bfin/bfin.c:325
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code, build
Severity: normal
Priority: P3
Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rask at gcc dot gnu dot org
GCC target triplet: bfin-unknown-elf
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34350
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #8 from rguenth at gcc dot gnu dot org 2007-12-05 19:21 --- The SMT.39 (for char *) has aliases shellparam, SFT.31 and SFT.32 where shellparam is the parent var of SFT.31 and SFT.32 -- this is the bug. I will investigate why this happens. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug debug/33739] [4.3 Regression] Failure of gfortran.dg/literal_character_constant_1_*.F with -m64 -g on Darwin
--- Comment #17 from jakub at gcc dot gnu dot org 2007-12-05 19:56 --- Fixed. -- jakub at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33739
[Bug middle-end/20548] ACATS c52103x c52104x c52104y segfault
--- Comment #27 from ebotcazou at gcc dot gnu dot org 2007-12-05 19:02 --- > what is the status for this PR? Is there some work to do on your patch? Commit it after approval. :-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20548
[Bug target/34091] [4.2/4.3 Regression] ICE in reload_cse_simplify_operands, at postreload.c:392
--- Comment #14 from danglin at gcc dot gnu dot org 2007-12-05 17:19
---
The regression was introduced by the following change:
2005-11-21 Jan Hubicka <[EMAIL PROTECTED]>
PR tree-optimization/24653
* tree-ssa-ccp.c (ccp_fold): Strip down useless conversions.
I have to think the target reload issues that the above exposes were latent.
The ICE has morphed a bit over time. This is the error at revision 107304.
[EMAIL PROTECTED]:~/gcc_test$ ../gcc-4.3/objdir/gcc/stage1/xgcc
-B../gcc-4.3/objdir/gcc/stage1/ -S -O2 s_texfilter.c
s_texfilter.c: In function 'sample_lambda_2d':
s_texfilter.c:166: error: unable to find a register to spill in class 'FP_REGS'
s_texfilter.c:166: error: this is the insn:
(insn 235 257 238 20 (set (subreg:SI (reg:HI 235) 0)
(fix:SI (fix:DF (reg:DF 68 %fr22 [234] 95 {fix_truncdfsi2}
(insn_list:REG_DEP_TRUE 233 (insn_list:REG_DEP_ANTI 227 (nil)))
(expr_list:REG_DEAD (reg:DF 68 %fr22 [234])
(nil)))
s_texfilter.c:166: internal compiler error: in spill_failure, at reload1.c:1901
There are two target issues involved here.
1) We can't allow mode paradoxical subregs in FP_REGS as this can't be handled
if the pseudo is spilled.
2) pa_secondary_reload() requests a secondary scratch register reload for
essentially everything when CLASS is FP_REGS. However, reload is treating
this reload as optional, resulting in spill failures and out of range REG+D
addresses. We do this because there is an asymmetry between the offsets
allowed for integer loads and stores, and floating point loads and stores.
Integer loads and stores support 14-bit offsets while PA 1.x floating point
loads and stores only support 5-bit offsets. It is a *MAJOR* compromise to
restrict integer loads and stores to 5-bit offsets. So, the target has always
used secondary reloads to rewrite floating-point loads and stores into a
form that provides correct code during register elimination.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34091
[Bug c++/34336] [4.2/4.3 Regression] 4.2.2 internal error in stabilize_expr
--- Comment #6 from jakub at gcc dot gnu dot org 2007-12-05 17:01 --- Testing a fix. -- jakub at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |jakub at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2007-12-04 20:19:37 |2007-12-05 17:01:14 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34336
[Bug target/34350] [bfin]: ICE: in legitimize_pic_address, at config/bfin/bfin.c:325
--- Comment #1 from rask at gcc dot gnu dot org 2007-12-05 16:52 --- Created an attachment (id=14701) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14701&action=view) testcase -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34350
[Bug rtl-optimization/32283] Missed induction variable optimization
--- Comment #16 from rakdver at kam dot mff dot cuni dot cz 2007-12-05 16:42 --- Subject: Re: Missed induction variable optimization > Please correct me if I am wrong, but I think that optimizing out the variable > that holds number of iterations is not desirable on targets that have doloop > machine idiom, because doloop rtl pass will re-introduce it in a specially > designated register. However, ia64 does not allow arithmetic operations with > loop counter, so it would be nice if iv-opts transformed the loop to the form > where decrement-and-branch-on-zero are the only uses of this variable, when > possible. On the other hand, performing induction variable elimination is also clearly desirable, as doloop idiom cannot be applied in many common cases. At the moment, it does not seem feasible to introduce enough target knowledge to ivopts to ensure that it can determine whether it will be possible to determine whether the doloop pattern can be used. I have no real idea how to solve this problem. Probably the cleanest way would be to somehow preserve the information about the number of iterations of the loop determined on trees, and pass it to doloop, but we lack the means to do that reliably. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32283
[Bug rtl-optimization/31944] [4.1/4.2/4.3 Regression] Endless loop while building a 64-bit 2.6.20 kernel
-- danglin at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-12-05 20:33:09 date|| Summary|Endless loop while building |[4.1/4.2/4.3 Regression] |a 64-bit 2.6.20 kernel |Endless loop while building ||a 64-bit 2.6.20 kernel http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31944
[Bug debug/33739] [4.3 Regression] Failure of gfortran.dg/literal_character_constant_1_*.F with -m64 -g on Darwin
--- Comment #16 from jakub at gcc dot gnu dot org 2007-12-05 19:51 --- Subject: Bug 33739 Author: jakub Date: Wed Dec 5 19:50:56 2007 New Revision: 130629 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130629 Log: PR debug/33739 * gfortran.h (gfc_file): Remove included_by field, add sibling and down. (gfc_start_source_files, gfc_end_source_files): New prototypes. * parse.c (gfc_parse_file): Call gfc_start_source_files and gfc_end_source_files instead of calling the debugging hooks directly. * error.c (show_locus): Use up field instead of included_by. * scanner.c (change_file, gfc_start_source_files, gfc_end_source_files): New functions. (gfc_advance_line): Call change_file instead of calling debug hooks directly. (get_file): Set up rather than included_by. Initialize down and sibling. (preprocessor_line, load_file): Don't set up field here. * gfortran.dg/debug_2.f: New test. Added: trunk/gcc/testsuite/gfortran.dg/debug_2.f Modified: trunk/gcc/fortran/ChangeLog trunk/gcc/fortran/error.c trunk/gcc/fortran/gfortran.h trunk/gcc/fortran/parse.c trunk/gcc/fortran/scanner.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33739
[Bug rtl-optimization/32283] Missed induction variable optimization
--- Comment #15 from amonakov at gmail dot com 2007-12-05 16:26 --- Zdenek, please kindly share your thoughts on concerns expressed in previous comments. The failures of number-of-iterations analysis prohibit applying modulo scheduling to many simple loops that are otherwise eligible; in fact, I now test SMS with either your patch reverted, or with -funsafe-loop-optimizations, but I believe this is not a healthy state. Please correct me if I am wrong, but I think that optimizing out the variable that holds number of iterations is not desirable on targets that have doloop machine idiom, because doloop rtl pass will re-introduce it in a specially designated register. However, ia64 does not allow arithmetic operations with loop counter, so it would be nice if iv-opts transformed the loop to the form where decrement-and-branch-on-zero are the only uses of this variable, when possible. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32283
[Bug middle-end/34337] [4.3 Regression] Internal error while building gtkwhiteboardc.c from pidgin 2.3.0
--- Comment #11 from jakub at gcc dot gnu dot org 2007-12-05 22:25 --- Fixed. -- jakub at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34337
[Bug rtl-optimization/31944] [4.1/4.2/4.3 Regression] Endless loop while building a 64-bit 2.6.20 kernel
--- Comment #8 from steven at gcc dot gnu dot org 2007-12-05 22:29 --- What does the full cse1 dump look like at that point (don't forget to call fflush(dump_file) from gdb ;-) Is this reproducible with a cross-compiler? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31944
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #10 from rguenth at gcc dot gnu dot org 2007-12-05 20:16 --- Another fallout of the PR33604 fix. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added OtherBugsDependingO||33604 nThis|| AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Last reconfirmed|2007-11-18 14:37:59 |2007-12-05 20:16:43 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug middle-end/34337] [4.3 Regression] Internal error while building gtkwhiteboardc.c from pidgin 2.3.0
--- Comment #10 from jakub at gcc dot gnu dot org 2007-12-05 22:25 --- Fixed. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34337
[Bug middle-end/31529] [4.3 Regression] ICE in cgraph_expand_function with IMA
--- Comment #7 from aldot at gcc dot gnu dot org 2007-12-05 22:48 --- Sounds like this was introduced by the ipa pass reordering in r120527 ff. Jakub, can you confirm this? -- aldot at gcc dot gnu dot org changed: What|Removed |Added CC||jakub at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31529
[Bug c/34351] New: Please get us the "volatile register" warning back
Microcontroller programmers tend to fall into the trap of trying to bind a variable to a CPU register, and declare it "volatile" so they could e.g. use it to communicate between the main context and an ISR. Previous GCC versions issued a warning: volatile register variables don't work as you might wish This warning has been removed without making volatile register variables work the way an innocent programmer would assume. Please re-enable that warning at least for -Wall and/or -Wextra. -- Summary: Please get us the "volatile register" warning back Product: gcc Version: 4.1.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: j at uriah dot heep dot sax dot de http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34351
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #9 from rguenth at gcc dot gnu dot org 2007-12-05 19:49 --- Because shellparam somehow becomes volatile after it got subvars assigned. Now onto why TF that happens... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug ada/34353] New: Internal error in legal Ada 2005 program, anonymous access-to-subprogram type
procedure test1 is type T1 is record F : access function return T1; end record; begin null; end test1; gnatmake -gnat05 test1 gcc-4.1 -c -gnat05 test1.adb gcc-4.1: Internal error: Segmentation fault (program gnat1) Same symptoms with 4.2.2. -- Summary: Internal error in legal Ada 2005 program, anonymous access-to-subprogram type Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34353
[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type
--- Comment #6 from anhvofrcaus at gmail dot com 2007-12-05 16:16 --- It is confirmed that this problem has been fixed under gcc-20071130. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559
[Bug c/34349] New: Internal Compiler Error (fatal)
gcc is configured and compiled as:
./configure --host=i686-pc-cygwin
--enable-shared-enable-languages=c,c++,objc,fortran --with-gettext
--cache-file=$BLD_CACHE_FILE
--- error message displayed when using gcc to compile follows:
Using built-in specs.
Target: i686-pc-cygwin
Configured with: ../configure --host=i686-pc-cygwin --enable-shared
--enable-languages=c,c++,objc,fortran --with-gettext
--cache-file=build_cache.dat
Thread model: single
gcc version 4.2.3 20071128 (prerelease)
/usr/local/libexec/gcc/i686-pc-cygwin/4.2.3/cc1.exe -E -quiet -v -I.
-D__CYGWIN32__ -D__CYGWIN__ -Dunix -D__unix__ -D__unix -idirafter
/usr/lib/../include/w32api -idirafter
/usr/local/lib/gcc/i686-pc-cygwin/4.2.3/../../../../../include/w32api
-DHAVE_CONFIG_H -DMODULE rlimits.c -mtune=generic -Wall -Wmissing-prototypes
-O2 -fpch-preprocess -o rlimits.i
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory
"/usr/local/lib/gcc/i686-pc-cygwin/4.2.3/../../../../i686-pc-cygwin/include"
ignoring duplicate directory
"/usr/local/lib/gcc/i686-pc-cygwin/4.2.3/../../../../../include/w32api"
#include "..." search starts here:
#include <...> search starts here:
.
/usr/local/include
/usr/local/lib/gcc/i686-pc-cygwin/4.2.3/include
/usr/include
/usr/lib/../include/w32api
End of search list.
/usr/local/libexec/gcc/i686-pc-cygwin/4.2.3/cc1.exe -fpreprocessed rlimits.i
-quiet -dumpbase rlimits.c -mtune=generic -auxbase-strip rlimits..o -O2 -Wall
-Wmissing-prototypes -version -o rlimits.s
GNU C version 4.2.3 20071128 (prerelease) (i686-pc-cygwin)
compiled by GNU C version 4.2.3 20071128 (prerelease).
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: 85f02c7a35d54e00b16af2fee82f6f91
rlimits.c: In function 'bin_unlimit':
rlimits.c:674: error: unrecognizable insn:
(insn 44 43 45 7 (set (reg:SI 84)
(const:SI (plus:SI (mem:SI (symbol_ref:SI ("#i.current_limits")
) [0 S4 A8])
(const_int 4 [0x4] -1 (nil)
(nil))
rlimits.c:674: internal compiler error: in extract_insn, at recog.c:2077
Please submit a full bug report,
-- end of error msg paste
-- the preprocessed file was too large to inline here.
-- Can't find a way to attach it in this system?
Regards,
d. henman
--
Summary: Internal Compiler Error (fatal)
Product: gcc
Version: 4.2.3
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: henman at tech dot email dot ne dot jp
GCC target triplet: i686-pc-cygwin
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34349
[Bug ada/34354] New: Bug box in save_gnu_tree, at ada/utils.c:176, in legal Ada 2005 program
(the test case is very similar but not identical to the one in PR ada/34353; the symptoms are different). procedure test1 is type T1 is record X : Integer; F : access function return T1; end record; begin null; end test1; gnatmake -gnat05 test1 gcc-4.1 -c -gnat05 test1.adb +===GNAT BUG DETECTED==+ | 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu) GCC error:| | in save_gnu_tree, at ada/utils.c:178 | | No source file position information available| gcc -c -gnat05 -x ada test1.ada +===GNAT BUG DETECTED==+ | 4.2.2 (i686-unknown-linux-gnu) in save_gnu_tree, at ada/utils.c:176 | | No source file position information available| -- Summary: Bug box in save_gnu_tree, at ada/utils.c:176, in legal Ada 2005 program Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34354
[Bug ada/34353] Internal error in legal Ada 2005 program, anonymous access-to-subprogram type
--- Comment #1 from ludovic at ludovic-brenta dot org 2007-12-05 23:16 --- See also PR ada/34354. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34353
[Bug bootstrap/33992] Building libstdc++-v3: include/limits: stray '\275' in program
--- Comment #10 from h dot mth at web dot de 2007-12-05 13:01 --- Replacing -O2 with -O1 in BOOT_CFLAGS hides the error here. At least one can install gcc 4.3 again. :) Gentoo users would edit toolchain.eclass: --- /usr/portage/eclass/toolchain.eclass.orig 2007-12-05 13:58:52.0 +0100 +++ /usr/portage/eclass/toolchain.eclass2007-12-05 13:58:59.0 +0100 @@ -1467,7 +1467,7 @@ # In general gcc does not like optimization, and add -O2 where # it is safe. This is especially true for gcc 3.3 + 3.4 - replace-flags -O? -O2 + replace-flags -O? -O1 # ... sure, why not? strip-unsupported-flags -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33992
[Bug ada/33988] Warning when converting between C compatible pointers
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33988
[Bug middle-end/34337] [4.3 Regression] Internal error while building gtkwhiteboardc.c from pidgin 2.3.0
--- Comment #9 from jakub at gcc dot gnu dot org 2007-12-05 22:24 --- Subject: Bug 34337 Author: jakub Date: Wed Dec 5 22:24:08 2007 New Revision: 130635 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130635 Log: PR middle-end/34337 * fold-const.c (fold_binary) : Don't minimize number of bits set in C1 if a mode mask for some mode can be used instead. * gcc.c-torture/execute/20071205-1.c: New test. Added: trunk/gcc/testsuite/gcc.c-torture/execute/20071205-1.c Modified: trunk/gcc/ChangeLog trunk/gcc/fold-const.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34337
[Bug other/34352] New: Multi-line descriptions are not picked up for translation
It appears that multi-line descriptions in *.opt files are not picked up correctly. As an example, in config/bfin/bfin.opt there are these lines: mleaf-id-shared-library Target Report Mask(LEAF_ID_SHARED_LIBRARY) Generate code that won't be linked against any other ID shared libraries, but may be used as a shared library. po/gcc.pot however, contains this: #: config/bfin/bfin.opt:52 msgid "" "Generate code that won't be linked against any other ID shared libraries," msgstr "" That is, the second line of the description is missing. (Or alternatively, it is a bug in bfin.opt that more than one is used for the description. I haven't investigated what the defined format for these files are.) -- Summary: Multi-line descriptions are not picked up for translation Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: other AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: goeran at uddeborg dot se http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34352
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #12 from rguenth at gcc dot gnu dot org 2007-12-05 21:45 --- Fixed. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug ada/34348] Bug box in gnat_to_gnu_entity, at ada/decl.c:231
--- Comment #1 from ludovic at ludovic-brenta dot org 2007-12-05 12:28 --- *** This bug has been marked as a duplicate of 34347 *** -- ludovic at ludovic-brenta dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34348
[Bug c++/34340] [4.3 Regression] Compile Error about undefined symbol using -frepo
--- Comment #4 from jakub at gcc dot gnu dot org 2007-12-05 14:15 --- Testing a fix. -- jakub at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |jakub at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-12-05 14:15:17 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34340
[Bug middle-end/34337] [4.3 Regression] Internal error while building gtkwhiteboardc.c from pidgin 2.3.0
--- Comment #8 from laurent at guerby dot net 2007-12-05 20:03 --- Yep, blows up at more than 5.6GB of RAM on drivers/ata/sata_promise.c (on the compile farm). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34337
[Bug fortran/34333] if(nan == nan) wrongly returns TRUE, when nan is a parameter
--- Comment #6 from burnus at gcc dot gnu dot org 2007-12-05 15:19 --- FIXED on the trunk (4.3.0). -- burnus at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34333
[Bug tree-optimization/34138] [4.3 Regression] verify_ssa failed (found real variable when subvariables should have appeared)
--- Comment #11 from rguenth at gcc dot gnu dot org 2007-12-05 21:45 --- Subject: Bug 34138 Author: rguenth Date: Wed Dec 5 21:45:15 2007 New Revision: 130632 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130632 Log: 2007-12-05 Richard Guenther <[EMAIL PROTECTED]> PR tree-optimization/34138 * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars): Do not forward propagate addresses if that changes volatileness of the pointed-to type. * gcc.c-torture/compile/pr34138.c: New testcase. Added: trunk/gcc/testsuite/gcc.c-torture/compile/pr34138.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-forwprop.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34138
[Bug tree-optimization/32636] [4.3 Regression] 25_algorithms/search_n/iterator.cc: pch-related verify_ssa failure
--- Comment #24 from dave at hiauly1 dot hia dot nrc dot ca 2007-12-06 00:28 --- Subject: Re: [4.3 regression] 25_algorithms/search_n/iterator.cc: pch-related verify_ssa failure > Ping. I moved the gch headers. Doesn't seem to be a pch problem: (gdb) r Starting program: /test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++-v3/testsuite/iterator.exe warning: The shared libraries were not privately mapped; setting a breakpoint in a shared library will not work until you rerun the program. Program received signal SIGBUS, Bus error. __gnu_test::forward_iterator_wrapper std::__search_n<__gnu_test::forward_iterator_wrapper, int, int, bool (*)(int, int)>(__gnu_test::forward_iterator_wrapper, __gnu_test::forward_iterator_wrapper, int, int const&, bool (*)(int, int), std::forward_iterator_tag) ([EMAIL PROTECTED], [EMAIL PROTECTED], __count=2, [EMAIL PROTECTED], [EMAIL PROTECTED]: 0x3148 <_Z4predii>) at /test/gnu/gcc/gcc/libstdc++-v3/testsuite/util/testsuite_iterators.h:206 206 : ptr(in.ptr), SharedInfo(in.SharedInfo) (gdb) bt #0 __gnu_test::forward_iterator_wrapper std::__search_n<__gnu_test::forward_iterator_wrapper, int, int, bool (*)(int, int)>(__gnu_test::forward_iterator_wrapper, __gnu_test::forward_iterator_wrapper, int, int const&, bool (*)(int, int), std::forward_iterator_tag) ([EMAIL PROTECTED], [EMAIL PROTECTED], __count=2, [EMAIL PROTECTED], [EMAIL PROTECTED]: 0x3148 <_Z4predii>) at /test/gnu/gcc/gcc/libstdc++-v3/testsuite/util/testsuite_iterators.h:206 #1 0x4128 in __gnu_test::forward_iterator_wrapper std::search_n<__gnu_test::forward_iterator_wrapper, int, int, bool (*)(int, int)>(__gnu_test::forward_iterator_wrapper, __gnu_test::forward_iterator_wrapper, int, int const&, bool (*)(int, int)) ([EMAIL PROTECTED], [EMAIL PROTECTED], __count=1073747448, [EMAIL PROTECTED], [EMAIL PROTECTED]: 0x3148 <_Z4predii>) at /test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++-v3/include/bits/stl_algo.h:4413 #2 0x5ca4 in main () at /test/gnu/gcc/gcc/libstdc++-v3/testsuite/25_algorithms/search_n/iterator.cc:90 (gdb) p/x $pc $1 = 0x3a84 (gdb) disass 0x3a74 0x3a94 Dump of assembler code from 0x3a74 to 0x3a94: 0x3a74 <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1044>: ldw 4(r8),r20 0x3a78 <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1048>: ldo 4(r19),ret0 0x3a7c <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1052>: b,l 0x36d4 <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+116>,r0 0x3a80 <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1056>: stw ret0,0(r8) 0x3a84 <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1060>: stw ret0,0(r14) 0x3a88 <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1064>: ldw 4(r6),ret0 0x3a8c <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1068>: b,l 0x381c <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+444>,r0 0x3a90 <_ZSt10__search_nIN10__gnu_test24forward_iterator_wrapperIiEEiiPFbiiEET_S5_S5_T0_RKT1_T2_St20forward_iterator_tag+1072>: stw ret0,4(r14) End of assembler dump. (gdb) p/x $r14 $2 = 0x6000 r14 points to readpnly memory. Dave -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32636
[Bug fortran/34345] gfortran compiles SLATEC library, but the executable fails
--- Comment #1 from burnus at gcc dot gnu dot org 2007-12-05 12:55 --- I think the problem is the interpretation of: DATA DMACH(1) / Z'0010' / as DMACH is REAL. The Fortran standard only allows BOZ in DATA for integers. Fortran 2003 also allows, e.g., real :: r = REAL(Z'') where REAL() is mandatory. The problem for you program is that gfortran interprets Z'0010' as bit-pattern for an integer and converts the integer *then* to a REAL. Other compilers regard that BOZ as bitpattern of the REAL variable. This bug is probably a duplicate of either of PR 34342, PR 18026 or PR 29471. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34345
[Bug ada/34346] Bug box, Assert_Failure atree.adb:812 in legal Ada 2005 program
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34346
[Bug ada/34347] Bug box in gnat_to_gnu_entity, at ada/decl.c:231 in legal Ada 2005 program
-- sam at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34347
[Bug target/15267] libgcc_s.so.1 fails to link on Solaris 8/SPARC with GNU as 2.14.91
--- Comment #11 from ebotcazou at gcc dot gnu dot org 2007-12-06 00:03 --- Right, I completely forgot about this PR... -- ebotcazou at gcc dot gnu dot org changed: What|Removed |Added Status|SUSPENDED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15267
[Bug ada/34343] Legal program rejected, Ada 2005 prefix notation, RM 4.1.3(9.2/2), 6.4(10.1/2)
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-05 12:44 --- gcc version 4.3.0 20071205 (experimental): test1.adb:62:06: no selector "p1" for type "T1" defined at line 3 test1.adb:64:06: no selector "p3" for type "T1" defined at line 3 -- sam at gcc dot gnu dot org changed: What|Removed |Added CC||sam at gcc dot gnu dot org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-12-05 12:44:56 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34343
[Bug target/15267] libgcc_s.so.1 fails to link on Solaris 8/SPARC with GNU as 2.14.91
--- Comment #10 from gcc at dixie dot net dot nz 2007-12-05 23:54 --- FYI, just found this fixed in binutils 2.18: http://www.cygwin.com/ml/binutils/2006-11/msg00290.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15267
[Bug ada/34354] Bug box in save_gnu_tree, at ada/utils.c:176, in legal Ada 2005 program
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-06 01:36 --- Confirmed on trunk +===GNAT BUG DETECTED==+ | 4.3.0 20071205 (experimental) (i686-pc-linux-gnu) GCC error: | | in save_gnu_tree, at ada/utils.c:196 | | Error detected around test1.adb:3| -- sam at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-12-06 01:36:08 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34354
[Bug ada/34353] Internal error in legal Ada 2005 program, anonymous access-to-subprogram type
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-06 01:40 --- Confirmed on trunk. gcc: Internal error: Segmentation fault (program gnat1) Target: i686-pc-linux-gnu gcc version 4.3.0 20071205 (experimental) (GCC) -- sam at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-12-06 01:40:09 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34353
[Bug rtl-optimization/31944] [4.1/4.2/4.3 Regression] Endless loop while building a 64-bit 2.6.20 kernel
--- Comment #7 from rguenth at gcc dot gnu dot org 2007-12-05 21:51 --- Let's ask the Steven-o-racle ;) -- rguenth at gcc dot gnu dot org changed: What|Removed |Added CC||steven at gcc dot gnu dot ||org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31944
[Bug ada/34343] New: Legal program rejected, Ada 2005 prefix notation, RM 4.1.3(9.2/2), 6.4(10.1/2)
procedure test1 is type T1 is tagged null record; procedure p1 (x: T1) is begin null; end p1; procedure p2 (x: T1'class) is begin null; end p2; procedure p3 (x: access T1) is begin null; end p3; procedure p4 (x: access T1'class) is begin null; end p4; package pak is type T2 is tagged null record; procedure p5 (x: T2); procedure p6 (x: T2'class); procedure p7 (x: access T2); procedure p8 (x: access T2'class); end pak; package body pak is procedure p5 (x: T2) is begin null; end p5; procedure p6 (x: T2'class) is begin null; end p6; procedure p7 (x: access T2) is begin null; end p7; procedure p8 (x: access T2'class) is begin null; end p8; end pak; y1: T1 := (null record); y2: access T1; y3: pak.T2 := (null record); y4: access pak.T2; begin y1.p1; -- line 62 y1.p2; y2.p3; -- line 64 y2.p4; -- line 65 y3.p5; y3.p6; y4.p7; y4.p8; -- line 69 end test1; gnatmake -gnat05 test1 gcc-4.1 -c -gnat05 test1.adb test1.adb:62:06: no selector "p1" for type "T1" defined at line 3 test1.adb:64:06: no selector "p3" for type "T1" defined at line 3 test1.adb:65:06: no selector "p4" for type "T1" defined at line 3 test1.adb:69:06: no selector "p8" for type "T2" defined at line 26 Also fails with the same error messages in GCC 4.2.2. Funny that the compiler doesn't see p1 or p3 but does see p5 and p7 simply because they are in a nested package. -- Summary: Legal program rejected, Ada 2005 prefix notation, RM 4.1.3(9.2/2), 6.4(10.1/2) Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34343
[Bug ada/34346] Bug box, Assert_Failure atree.adb:812 in legal Ada 2005 program
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-05 12:23 --- Closing since fixed on trunk -- sam at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34346
[Bug fortran/34345] gfortran compiles SLATEC library, but the executable fails
--- Comment #2 from jvdelisle at gcc dot gnu dot org 2007-12-06 03:42 --- Reading through PR 18026 I am convinced this is a duplicate. We need to decide how we want to handle this situation. It looks like at least one other compiler treats the boz as an integer and converts to real for the case of f95 and treats it as a direct map to real for f2003. Should we take a vote? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34345
[Bug fortran/34325] Wrong error message for syntax error
--- Comment #1 from jvdelisle at gcc dot gnu dot org 2007-12-06 03:52 --- The error is in gfc_match_if. There is code that is doing gfc_match_assignment in the IF statement twice to catch the reported condition. So the invalid code falls through to this and catches it. The easy way out is to change the wording to be more general, like "Error in IF clause at 1" A better implementation would check for a balance of parenthesis in gfc_match_assignment and throw the specific error. Any opinions on this Tobias, FX, anyone? -- jvdelisle at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-12-06 03:52:04 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34325
[Bug fortran/34345] gfortran compiles SLATEC library, but the executable fails
--- Comment #3 from kargl at gcc dot gnu dot org 2007-12-06 04:39 --- (In reply to comment #2) > Reading through PR 18026 I am convinced this is a duplicate. We need to > decide > how we want to handle this situation. It looks like at least one other > compiler treats the boz as an integer and converts to real for the case of f95 > and treats it as a direct map to real for f2003. > > Should we take a vote? My vote is gfortran is doing the correct thing. The user needs to read and understand the standard. Then, the the user can use TRANSFER() as intended by J3. In particular, a DATA statement is essentially an assignment. In an assignment the RHS is evaluated without reference to the LHS type, kind type parameter, or rank. If you want to promote a BOZ to some glorified representation of any numeric value, then you'll need to introduce BT_BOZ, and add a member to gfc_symbol to hold the BOZ string and do the conversion to the what the user wants at the last moment. This, of course, violates the independence of the RHS-LHS assumption. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34345
[Bug fortran/34335] [4.3 Regression] valid code rejected when reordering USE statements
--- Comment #7 from pault at gcc dot gnu dot org 2007-12-06 06:14 --- Subject: Bug 34335 Author: pault Date: Thu Dec 6 06:13:59 2007 New Revision: 130643 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130643 Log: 2007-12-06 Paul Thomas <[EMAIL PROTECTED]> PR fortran/34335 * module.c (find_symbol): Do not return symtrees with unique names, which shows that they are private. 2007-12-06 Paul Thomas <[EMAIL PROTECTED]> PR fortran/34335 * gfortran.dg/used_types_19.f90: New test. Modified: trunk/gcc/fortran/ChangeLog trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34335
[Bug fortran/34335] [4.3 Regression] valid code rejected when reordering USE statements
--- Comment #8 from pault at gcc dot gnu dot org 2007-12-06 06:14 --- Fixed on trunk Paul -- pault at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34335
[Bug fortran/34335] [4.3 Regression] valid code rejected when reordering USE statements
--- Comment #9 from burnus at gcc dot gnu dot org 2007-12-06 07:06 --- The actual commit is: http://gcc.gnu.org/viewcvs?view=rev&revision=130642 Thanks for the fix! -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34335
[Bug tree-optimization/34038] 176.gcc segfaults when compiled with -O2 -ftree-vectorize -maltivec
--- Comment #5 from irar at il dot ibm dot com 2007-12-06 07:49 ---
It also fails with -O2 and -O1 (and not only with -O3).
The offending loop is reload.c:2352 (in function find_reloads):
for (i = 0; i < noperands; i++)
{
constraints[i] = constraints1[i]
= insn_operand_constraint[insn_code_number][i];
operand_mode[i] = insn_operand_mode[insn_code_number][i];
}
If I force this loop not to be vectorized, no failure occurs.
Vectorizer dumps for this loop are identical with and without
-fno-strict-aliasing, as well as the 'optimized' dumps.
Ira
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34038
