[Bug ada/34373] Compiler crash: container and discriminant

2007-12-07 Thread vgodunko at rostel dot ru
--- Comment #1 from vgodunko at rostel dot ru 2007-12-07 08:29 --- *** This bug has been marked as a duplicate of 34372 *** -- vgodunko at rostel dot ru changed: What|Removed |Added

[Bug ada/34372] New: Compiler crash: container and discriminant

2007-12-07 Thread vgodunko at rostel dot ru
Hello, I have following GNAT bug box for uploaded testcase: gcc -c items-contexts.adb +===GNAT BUG DETECTED==+ | 4.3.0 20071118 (experimental) (i686-pc-linux-gnu) Assert_Failure exp_util.adb:1769| | Error detected at items-contexts.adb:7:9

[Bug ada/34372] Compiler crash: container and discriminant

2007-12-07 Thread vgodunko at rostel dot ru
--- Comment #1 from vgodunko at rostel dot ru 2007-12-07 08:25 --- Created an attachment (id=14706) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14706action=view) Testcase -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34372

[Bug ada/34373] New: Compiler crash: container and discriminant

2007-12-07 Thread vgodunko at rostel dot ru
Hello, I have following GNAT bug box for uploaded testcase: gcc -c items-contexts.adb +===GNAT BUG DETECTED==+ | 4.3.0 20071118 (experimental) (i686-pc-linux-gnu) Assert_Failure exp_util.adb:1769| | Error detected at items-contexts.adb:7:9

[Bug ada/34374] New: limited with clause and private parent package

2007-12-07 Thread vgodunko at rostel dot ru
Hello, private package P is end P; with P.B; package P.A is end P.A; limited with P.A; package P.B is end P.B; gcc -c p-a.ads p-b.ads:1:14: unit in with clause is private child unit This seems incorrect. -- Summary: limited with clause and private parent package

[Bug fortran/34376] New: [4.3 Regression] gfortran.dg/ishft_1.f90

2007-12-07 Thread hjl at lucon dot org
I got /net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/gfortran.dg/ishft_1.f90:28.29:^M ^M if (ishft (-1_8, -60) /= z'F') call abort^M 1^M Warning: Extension: BOZ used outside a DATA statement at (1)^M Is this related to

[Bug fortran/34377] [4.3 Regression] 187.facerec in SPEC CPU 2000 failed to compile

2007-12-07 Thread aldot at gcc dot gnu dot org
--- Comment #1 from aldot at gcc dot gnu dot org 2007-12-07 10:33 --- *** This bug has been marked as a duplicate of 34359 *** -- aldot at gcc dot gnu dot org changed: What|Removed |Added

[Bug fortran/34359] ICE in December 6 version of gfortran when compiling a file with two routines that contain INCLUDE statements

2007-12-07 Thread aldot at gcc dot gnu dot org
--- Comment #2 from aldot at gcc dot gnu dot org 2007-12-07 10:33 --- *** Bug 34377 has been marked as a duplicate of this bug. *** -- aldot at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #3 from rguenth at gcc dot gnu dot org 2007-12-07 10:32 --- Confirmed. Caused by 2007-12-06 Harsha Jagasia [EMAIL PROTECTED] * tree-vectorizer.c (slpeel_add_loop_guard): Gimplify the condition. (set_prologue_iterations): New. Set the prologue iterations

[Bug tree-optimization/34363] [4.2 Regression] Aliasing failure during tree fre

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-12-07 10:25 --- Confirmed. Wrong alias info: foo (p) { unsigned int n.0; bb 2: # n_2 = V_MUST_DEF n_1; n = 4; # NONLOCAL.6_6 = V_MAY_DEF NONLOCAL.6_5; *p_3 = 0; # VUSE n_2; n.0_4 = n; if (n.0_4 != 0) goto

[Bug ada/29157] gnattools fail on cross compilation - Makefile bug?

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #6 from sam at gcc dot gnu dot org 2007-12-07 14:32 --- Subject: Bug 29157 Author: sam Date: Fri Dec 7 14:31:48 2007 New Revision: 130675 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130675 Log: gcc/ PR ada/29157 * doc/install.texi: Explain how

[Bug ada/33420] [Ada] crash passing SomeFunctionReturningPointer.all as function argument

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #4 from sam at gcc dot gnu dot org 2007-12-07 14:44 --- Confirmed on trunk. +===GNAT BUG DETECTED==+ | 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure atree.adb:962| | Error detected at test2.adb:12:60

[Bug ada/15805] Illegal program not detected, allows writing through access to constant

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-07 14:35 --- Subject: Bug 15805 Author: sam Date: Fri Dec 7 14:35:22 2007 New Revision: 130676 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130676 Log: gcc/ada/ PR ada/15805 * sem_ch6.adb

[Bug ada/15805] Illegal program not detected, allows writing through access to constant

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #3 from sam at gcc dot gnu dot org 2007-12-07 14:39 --- Fixed in SVN trunk -- sam at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/29157] gnattools fail on cross compilation - Makefile bug?

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #7 from sam at gcc dot gnu dot org 2007-12-07 14:38 --- Fixed in SVN trunk -- sam at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/29157] gnattools fail on cross compilation - Makefile bug?

2007-12-07 Thread sam at gcc dot gnu dot org
-- sam at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |sam at gcc dot gnu dot org |dot org

[Bug ada/29015] Ada 2005 observer pattern with mutually dependent packages and containers produces compiler error

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #4 from sam at gcc dot gnu dot org 2007-12-07 14:01 --- Confirmed on SVN trunk +===GNAT BUG DETECTED==+ | 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure atree.adb:962| | Error detected at subjects.ads:19

[Bug ada/29958] Ada: gcc bug box with an inherited generic package

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #4 from sam at gcc dot gnu dot org 2007-12-07 13:58 --- Confirmed on SVN trunk: +===GNAT BUG DETECTED==+ | 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure sem_ch7.adb:1457| | Error detected at example

[Bug libgcj/33114] jc1 segault building lljava/java/util/AbstractMap.java

2007-12-07 Thread dps at simpson dot demon dot co dot uk
--- Comment #4 from dps at simpson dot demon dot co dot uk 2007-12-07 13:26 --- Subject: Re: jc1 segault building lljava/java/util/AbstractMap.java I have experinced odd problems which seemed to be related to svn not being quite magic enoguh to keep what was on my disc in sync

[Bug ada/30618] [4.1 regression] Infinite loop in sem_ch8.end_use_clauses

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #4 from sam at gcc dot gnu dot org 2007-12-07 12:53 --- This is fixed in SVN trunk -- sam at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/34379] [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program

2007-12-07 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2007-12-07 15:21 --- Second test case that triggers the same bug box: package pak2 is type T1 is interface; function f1 (x: access T1) return integer; x1: integer := T1'Class (3).f1; end pak2; gnatmake -gnat05 pak2

[Bug ada/32286] [4.2/4.3 Regression] ICE in dwarf2out with -g: sees Ada f-e unconstrained_array_type node

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-07 12:37 --- Have you tried with a recent trunk GCC? Your GCC reads 20070611, but with the current trunk (4.3.0 20071207), I cannot reproduce the bug on i686-pc-linux-gnu: % gcc -c -g -gnat05 e.adb Laurent, which version did you

[Bug ada/34379] New: [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program

2007-12-07 Thread ludovic at ludovic-brenta dot org
package pak1 is type T1 is interface; function f1 (x: access T1'class) return integer; x1: integer := T1'Class (3).f1; end pak1; gnatmake -gnat05 pak1 gcc-4.1 -c -gnat05 pak1.ads pak1.ads:4:31: no selector f1 for type T1'class defined at line 2 gnatmake: pak1.ads compilation error gcc

[Bug ada/32452] [4.1//4.2 Regression] Incorrect type debugging information for variables in other compilation units

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-07 12:33 --- Already fixed in SVN trunk: (gdb) ptype external.b type = array (1 .. 4) of float -- sam at gcc dot gnu dot org changed: What|Removed |Added

Re: [Bug ada/34173] New: [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

2007-12-07 Thread Olivier Hainque
Hello, andreasmeier80 at gmx dot de wrote: gnat.dg/release_unc_maxalign.adb execution test fails for me since 20.11.2007. At 19.11.2007 it whas worked. This should be fixed now. Analysis at http://gcc.gnu.org/ml/gcc-patches/2007-12/msg00318.html Thanks again for opening the PR.

[Bug ada/34173] [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

2007-12-07 Thread hainque at adacore dot com
--- Comment #9 from hainque at adacore dot com 2007-12-07 11:08 --- Subject: Re: New: [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test Hello, andreasmeier80 at gmx dot de wrote: gnat.dg/release_unc_maxalign.adb execution test fails for me since 20.11.2007.

[Bug ada/34173] [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

2007-12-07 Thread hainque at gcc dot gnu dot org
--- Comment #8 from hainque at gcc dot gnu dot org 2007-12-07 10:50 --- Subject: Bug 34173 Author: hainque Date: Fri Dec 7 10:50:23 2007 New Revision: 130673 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130673 Log: 2007-12-07 Olivier Hainque [EMAIL PROTECTED] PR

[Bug fortran/34376] [4.3 Regression] gfortran.dg/ishft_1.f90

2007-12-07 Thread burnus at gcc dot gnu dot org
--- Comment #1 from burnus at gcc dot gnu dot org 2007-12-07 10:31 --- Seemingly, I forgot commit that change. However, the change becomes obsolete (i.e. does not trigger for -pedantic) with the patch: http://gcc.gnu.org/ml/fortran/2007-12/msg00075.html I therefore would like to wait

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

2007-12-07 Thread jakub at gcc dot gnu dot org
--- Comment #2 from jakub at gcc dot gnu dot org 2007-12-07 10:21 --- Which arch? Can't reproduce this on x86_64-linux, i686-linux nor ppc{,64}-linux with current trunk. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34371

[Bug ada/34173] [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

2007-12-07 Thread hainque at gcc dot gnu dot org
--- Comment #10 from hainque at gcc dot gnu dot org 2007-12-07 11:09 --- fixed on mainline. -- hainque at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/34375] New: internal compiler error: tree check: expected ssa_name, have symbol_memory_tag in is_old_name, at tree-into-ssa.c:566

2007-12-07 Thread dominiq at lps dot ens dot fr
Since at least revision 130630 (but not in 130463), the gfortran testsuite has a lot of failures with -O3 on powerpc-apple-darwin9 not present on i686-apple-darwin9 nor powerpc-apple-darwin8. A reduced case is: [karma] f90/bug% cat scalarize_ref.f90 ! Program to test the scalarizer program

[Bug ada/34372] Compiler crash: container and discriminant

2007-12-07 Thread vgodunko at rostel dot ru
--- Comment #2 from vgodunko at rostel dot ru 2007-12-07 08:29 --- *** Bug 34373 has been marked as a duplicate of this bug. *** -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34372

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

2007-12-07 Thread jakub at gcc dot gnu dot org
-- 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

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-07 15:51 --- On trunk: Compiling: pak5.ads (source file time stamp: 2007-12-07 15:48:22) 6.x2: integer := f(x1.all); -- line 5; column 19 is the opening paren | expected type

[Bug ada/34379] [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-07 15:46 --- Already fixed in trunk. Compiling: pak1.ads (source file time stamp: 2007-12-07 15:45:01) 4.x1: integer := T1'Class (3).f1; | object in prefixed call to f1 must be aliased

[Bug ada/19409] ACATS c460010 - valgrind detects wrong code

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #8 from sam at gcc dot gnu dot org 2007-12-07 13:01 --- I cannot reproduce the problem on 4.3.0 20071207 by running the test case. However, the valgrind messages remain. -- sam at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/34380] New: [4.2 regression] Bug box, Assert_Failure elists.adb:167 on illegal Ada 2005 program

2007-12-07 Thread ludovic at ludovic-brenta dot org
This is the same bug box as in PR ada/34344 but it happens only in 4.2.2 and with a different test case; therefore I think this is a different bug. package pak3 is type T1 is interface; type T2 is null record; x2: T2; function f1 (x: access T1'class) return integer; x1: integer :=

[Bug ada/34381] New: Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

2007-12-07 Thread ludovic at ludovic-brenta dot org
package pak4 is type T1 is interface; type T2 is interface and T1; end pak4; limited with pak4; package pak5 is function f(x: pak4.T1'class) return integer; x1: access pak4.T2'class; x2: integer := f(x1.all); -- line 5; column 19 is the opening paren x3: float := x1.all; x4:

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

2007-12-07 Thread pault at gcc dot gnu dot org
--- Comment #4 from pault at gcc dot gnu dot org 2007-12-07 18:37 --- Created an attachment (id=14708) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14708action=view) Fix for PR - not yet regtested -- pault at gcc dot gnu dot org changed: What|Removed

[Bug ada/34380] [4.2 regression] Bug box, Assert_Failure elists.adb:167 on illegal Ada 2005 program

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-07 15:44 --- Already fixed in SVN trunk. Compiling: pak3.ads (source file time stamp: 2007-12-07 15:42:26) 6.x1: integer := T1'Class (x2).f1; | object in prefixed call to f1 must be

[Bug ada/21346] Ada.Directories.Compose raises exception if Containing_Directory is empty string

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-07 18:03 --- Fixed in SVN trunk -- sam at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/34378] New: [autovectorize]: missed optimization

2007-12-07 Thread tim at klingt dot org
in the following code, first function is vectorized, while the second one is not: typedef float aligned_float __attribute__((aligned(4 * sizeof(float; typedef aligned_float * __restrict__ restricted_float_ptr; void test(int n, restricted_float_ptr in, restricted_float_ptr out) { for

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

2007-12-07 Thread charlet at gcc dot gnu dot org
--- Comment #5 from charlet at gcc dot gnu dot org 2007-12-07 17:48 --- closing -- charlet at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

2007-12-07 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2007-12-07 17:46 --- You are correct! Per 10.1.2(17/2), Pak4 as seen from Pak5 is the limited view of the package. Per 10.1.1(12.3/2), Pak5 sees a tagged incomplete view of Pak4.T2. Per 3.10.1(2.1/2) this view is limited, so

[Bug c++/34383] New: [4.3] ICE on Usage of default function template argument

2007-12-07 Thread rbuergel at web dot de
#include tr1/type_traits templatetypename T1, typename T2, templatetypename T1, typename T2 class Comp=std::tr1::is_same void STATIC_ASSERT( T2 t2=T2(), T1 t1=T1() ) { static_assert( CompT1, T2::value, ); } int main() { unsigned int b; STATIC_ASSERTint(b); } g++-4.3.0

[Bug ada/21346] Ada.Directories.Compose raises exception if Containing_Directory is empty string

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-07 18:03 --- Subject: Bug 21346 Author: sam Date: Fri Dec 7 18:03:20 2007 New Revision: 130692 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130692 Log: gcc/ada/ PR ada/21346 * a-direct.adb (Compose):

[Bug fortran/32129] ICE: Procedure call with array-section-actual to scalar dummy

2007-12-07 Thread pault at gcc dot gnu dot org
--- Comment #5 from pault at gcc dot gnu dot org 2007-12-07 11:48 --- Created an attachment (id=14707) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14707action=view) Fix for the PR This is just regtesting but I think that it will be OK. Note that this expression type was getting

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

2007-12-07 Thread rguenth at gcc dot gnu dot org
-- rguenth at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

2007-12-07 Thread jakub at gcc dot gnu dot org
--- Comment #4 from jakub at gcc dot gnu dot org 2007-12-07 11:05 --- Oopsie, then I had a stale definition of current. I'll svn update and debug this ;). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34371

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

2007-12-07 Thread pault at gcc dot gnu dot org
--- Comment #7 from pault at gcc dot gnu dot org 2007-12-08 06:50 --- (In reply to comment #5) I did not looked yet at all the failures, but all the one I have looked at gives a bus error. In fact, I do not check that the initializer is not NULL. Paul --

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

2007-12-07 Thread pault at gcc dot gnu dot org
--- Comment #6 from pault at gcc dot gnu dot org 2007-12-08 06:43 --- (In reply to comment #5) I did not looked yet at all the failures, but all the one I have looked at gives a bus error. Thanks Dominique. I'm looking at PR32129 first and then this. I am sure that this fix is

[Bug c/34389] New: -Wconversion produces wrong warning

2007-12-07 Thread Raimund dot Merkert at baesystems dot com
If compiled with gcc -c -Wconversion the following code produces the warning: test.c:7: warning: conversion to ‘short int’ from ‘int’ may alter its value but if -DNO_WARNING is turned on it doesn't even though it should be same code. cat test.c EOF short mask(short x) { #if NO_WARNING short

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

2007-12-07 Thread mueller at gcc dot gnu dot org
--- Comment #4 from mueller at gcc dot gnu dot org 2007-12-08 02:23 --- testing patch for pointer_set conversion -- mueller at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

2007-12-07 Thread mueller at gcc dot gnu dot org
--- Comment #3 from mueller at gcc dot gnu dot org 2007-12-08 02:07 --- this patch seems to be an alternative way of making -Wstrict-aliasing=3 work again for the testcase: --- c-common.c (revision 130658) +++ c-common.c (working copy) @@ -1035,7 +1035,8 @@ strict_aliasing_warning

[Bug fortran/34388] New: FAIL: gfortran.dg/proc_decl_1.f90 -O (test for excess errors)

2007-12-07 Thread danglin at gcc dot gnu dot org
Executing on host: /home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../gf ortran -B/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../ /home/dave/ gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90 -O -pedantic-error s -S -o proc_decl_1.s(timeout = 300)

[Bug fortran/34387] New: FAIL: gfortran.dg/optional_dim_2.f90

2007-12-07 Thread danglin at gcc dot gnu dot org
Executing on host: /home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../gf ortran -B/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../ /home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/optional_dim_2.f90 -O0 -pedantic-errors

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #1 from rguenth at gcc dot gnu dot org 2007-12-08 00:22 --- Created an attachment (id=14711) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14711action=view) patch 'fixing' the issues Prototype patch showing the result of fixing these three issues. Not applicable in

[Bug middle-end/34386] New: -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

2007-12-07 Thread rguenth at gcc dot gnu dot org
The new alias violation warning is ineffective for PR34385 for several reasons: - we TBAA prune the points-to sets, this deletes the information the warning is depending on - the warning is disabled for structure types - in C++, temporaries are 'artificial' and such no warnings are

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #4 from rguenth at gcc dot gnu dot org 2007-12-07 23:14 --- Right, that is invalid. *** This bug has been marked as a duplicate of 21920 *** -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/34385] new miscompilation after PR34148 fix

2007-12-07 Thread mueller at gcc dot gnu dot org
--- Comment #1 from mueller at gcc dot gnu dot org 2007-12-07 22:46 --- Created an attachment (id=14710) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14710action=view) testcase compile with g++ -ansi -O2 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug ada/34361] Incorrect comment at top of mlib-tgt.adb

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #2 from sam at gcc dot gnu dot org 2007-12-07 22:24 --- Fixed in trunk -- sam at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/34361] Incorrect comment at top of mlib-tgt.adb

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #1 from sam at gcc dot gnu dot org 2007-12-07 22:23 --- Subject: Bug 34361 Author: sam Date: Fri Dec 7 22:23:39 2007 New Revision: 130696 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130696 Log: Fix wrong PR number in approved submitters comment (in ada/ChangeLog):

[Bug target/34261] Directed rounding doesn't work on MacOS X

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #5 from sam at gcc dot gnu dot org 2007-12-07 22:19 --- Subject: Bug 34261 Author: sam Date: Fri Dec 7 22:19:22 2007 New Revision: 130695 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130695 Log: 2007-12-07 Ludovic Brenta [EMAIL PROTECTED] gcc/ada/ PR

[Bug c++/34069] [4.3 regression] ICE with invalid specialization of variadic template

2007-12-07 Thread reichelt at gcc dot gnu dot org
--- Comment #3 from reichelt at gcc dot gnu dot org 2007-12-07 21:43 --- Both the reduced testcase here and the original testcase in PR 32128 are now fixed in mainline (probably by the patch for PR 33091). -- reichelt at gcc dot gnu dot org changed: What|Removed

[Bug fortran/32129] ICE: Procedure call with array-section-actual to scalar dummy

2007-12-07 Thread pault at gcc dot gnu dot org
--- Comment #6 from pault at gcc dot gnu dot org 2007-12-07 13:46 --- (In reply to comment #5) This is just regtesting but I think that it will be OK. Famous last words! It regresses in elemental_subroutine_2.f90. It should all be fixable witout much effort, though. Paul --

[Bug c/32643] [4.3 Regression] Wrong error message with unsigned char a = uchar512

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #5 from rguenth at gcc dot gnu dot org 2007-12-07 20:19 --- Confirmed. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/21346] Ada.Directories.Compose raises exception if Containing_Directory is empty string

2007-12-07 Thread sam at gcc dot gnu dot org
-- sam at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |sam at gcc dot gnu dot org |dot org

[Bug ada/32286] [4.2/4.3 Regression] ICE in dwarf2out with -g: sees Ada f-e unconstrained_array_type node

2007-12-07 Thread laurent at guerby dot net
--- Comment #3 from laurent at guerby dot net 2007-12-07 17:44 --- Trunk from 20070611, but if it doesn't show up now (I haven't checked) this should be marked as fixed on trunk. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32286

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-12-07 19:11 --- Subject: Bug 34382 Author: rguenth Date: Fri Dec 7 19:11:31 2007 New Revision: 130693 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130693 Log: 2007-12-07 Richard Guenther [EMAIL PROTECTED] PR

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #3 from rguenth at gcc dot gnu dot org 2007-12-07 19:12 --- Flixed. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #1 from rguenth at gcc dot gnu dot org 2007-12-07 19:05 --- Mine. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/34382] New: [4.3 Regression] -fforce-addr completely broken

2007-12-07 Thread tbm at cyrius dot com
(sid)2359:[EMAIL PROTECTED]: ~] touch t.c (sid)2360:[EMAIL PROTECTED]: ~] /usr/lib/gcc-snapshot/bin/gcc -fforce-addr t.c cc1: internal compiler error: in common_handle_option, at opts.c:1787 Please submit a full bug report, with preprocessed source if appropriate. This is with 4.3.0 20071207

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #3 from sam at gcc dot gnu dot org 2007-12-07 17:04 --- Note that those errors are caused only by the presence of the limited_with_clause. I haven't a RM handy, but I think pak5 only sees T1 and T2 as if they were incomplete types. In this context, T2 doesn't derive from

[Bug libstdc++/33831] [4.3 Regression] Revision 129442 breaks libstc++ API

2007-12-07 Thread tbm at cyrius dot com
--- Comment #5 from tbm at cyrius dot com 2007-12-08 03:10 --- What's the status of this, Ben? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33831

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

2007-12-07 Thread mueller at gcc dot gnu dot org
-- mueller at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |ASSIGNED Last reconfirmed|2007-12-08 02:23:39 |2007-12-08

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

2007-12-07 Thread hp at gcc dot gnu dot org
--- Comment #2 from hp at gcc dot gnu dot org 2007-12-08 00:44 --- I'm not sure this is related but a while ago I ran valgrind hoping to spot the cause for another bug, and valgrind complained about tree-ssa-alias-warnings.c:processed_func_p (tree func) which hashes the address of its

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #7 from rguenth at gcc dot gnu dot org 2007-12-08 00:03 --- Because the temporary object D.2360 is indeed artificial. If you disable that filtering you get (finally) t.ii: In function 'const QString staticQString(const QString)': t.ii:110: warning: likely type-punning may

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #6 from rguenth at gcc dot gnu dot org 2007-12-07 23:57 --- First we hit /* XXX: don't get into structures for now. It brings much complication and little benefit. */ if (struct_class_union_p (ptr_type) || struct_class_union_p

[Bug c/21920] aliasing violations

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #124 from rguenth at gcc dot gnu dot org 2007-12-07 23:14 --- *** Bug 34385 has been marked as a duplicate of this bug. *** -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

2007-12-07 Thread dominiq at lps dot ens dot fr
--- Comment #5 from dominiq at lps dot ens dot fr 2007-12-07 23:05 --- I have applied the patch in #4 and I have a lot of failures: [ibook-dhum] f90/bug% cat pr30200_red.f90 type test character(len=100) :: names(5) end type test type(test) :: keyword

[Bug tree-optimization/34385] New: new miscompilation after PR34148 fix

2007-12-07 Thread mueller at gcc dot gnu dot org
the patch in PR34148 uncovered a new bug, avoidable with -fno-strict-aliasing -- Summary: new miscompilation after PR34148 fix Product: gcc Version: 4.3.0 Status: UNCONFIRMED Keywords: wrong-code Severity: normal

[Bug fortran/29267] different length non-constant strings in array constructors ICE

2007-12-07 Thread burnus at gcc dot gnu dot org
--- Comment #16 from burnus at gcc dot gnu dot org 2007-12-07 22:43 --- Btw, the original testcase started compiling on mainline between 2007-07-16 and 2007-08-15. It now compiles and runs without error. Cool. And for -std=f95/f2003 the invalid code is rejected. = CLOSE. I think

[Bug target/34261] Directed rounding doesn't work on MacOS X

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #6 from sam at gcc dot gnu dot org 2007-12-07 22:23 --- Subject: Bug 34261 Author: sam Date: Fri Dec 7 22:23:39 2007 New Revision: 130696 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130696 Log: Fix wrong PR number in approved submitters comment (in ada/ChangeLog):

[Bug fortran/29267] different length non-constant strings in array constructors ICE

2007-12-07 Thread reichelt at gcc dot gnu dot org
--- Comment #15 from reichelt at gcc dot gnu dot org 2007-12-07 22:12 --- Btw, the original testcase started compiling on mainline between 2007-07-16 and 2007-08-15. It now compiles and runs without error. -- reichelt at gcc dot gnu dot org changed: What|Removed

[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type

2007-12-07 Thread charlet at gcc dot gnu dot org
--- Comment #7 from charlet at gcc dot gnu dot org 2007-12-07 21:42 --- Sam, Could you point me to the message on gcc-patches submitting this patch and to the approval message ? For some reason I cannot find it. Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

2007-12-07 Thread mueller at gcc dot gnu dot org
-- mueller at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last

[Bug target/32276] [4.3 Regression]: libmudflap.c++/pass41-frag.cxx

2007-12-07 Thread danglin at gcc dot gnu dot org
--- Comment #4 from danglin at gcc dot gnu dot org 2007-12-08 01:25 --- Tests also on hppa-unknown-linux-gnu: Executing on host: /home/dave/gnu/gcc-4.3/objdir/./gcc/g++ -shared-libgcc -B/home/dave/gnu/gcc-4.3/objdir/./gcc -nostdinc++

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

2007-12-07 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Summary|new miscompilation after|[4.3 Regression] new |PR34148 fix

[Bug c/34384] New: Poor code generated when passing returned struct as a parameter

2007-12-07 Thread sandmann at daimi dot au dot dk
The program I will attach has a function that returns a struct. This struct is then immediately passed by value to another function. The code generated is using a local temporary variable, which leads to this code: (1) load address of temporary into eax (2) call fun2(), which then

[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type

2007-12-07 Thread sam at gcc dot gnu dot org
--- Comment #8 from sam at gcc dot gnu dot org 2007-12-07 21:55 --- Arnaud, good catch, I forgot to send the message to gcc-patches with the content and the ack indication. The patch was acked by Robert by mail (see GB19-012) on November 19. -- sam at gcc dot gnu dot org changed:

[Bug c++/33091] [c++0x] ICE using remove_reference on variadic param pack

2007-12-07 Thread reichelt at gcc dot gnu dot org
-- reichelt at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33091

[Bug c++/32565] [4.3 regression] ICE with specialization of variadic template

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-12-07 20:14 --- Confirmed. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug c++/34383] ICE on Usage of default function template argument

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #1 from rguenth at gcc dot gnu dot org 2007-12-07 19:03 --- Confirmed. This one ICEs different: templatetypename T1 class Foo {}; templatetemplatetypename T1 class Comp = Foo void STATIC_ASSERT() { } int main() { unsigned int b; STATIC_ASSERT(); } t.C: In

[Bug fortran/34377] New: [4.3 Regression] 187.facerec in SPEC CPU 2000 failed to compile

2007-12-07 Thread hjl at lucon dot org
With -O2 -ffast-math, gcc 4.3 revision 130669 got f951: internal compiler error: in change_file, at fortran/scanner.c:322 Please submit a full bug report, with preprocessed source if appropriate. See http://gcc.gnu.org/bugs.html for instructions. gaborRoutines.f90:13.10: Revision 130596 is OK.

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

2007-12-07 Thread ludovic at ludovic-brenta dot org
--- Comment #2 from ludovic at ludovic-brenta dot org 2007-12-07 16:33 --- (In reply to comment #1) On trunk: Compiling: pak5.ads (source file time stamp: 2007-12-07 15:48:22) 6.x2: integer := f(x1.all); -- line 5; column 19 is the opening paren

[Bug libfortran/34370] file positioning after nonadvancing i/o

2007-12-07 Thread tkoenig at gcc dot gnu dot org
--- Comment #2 from tkoenig at gcc dot gnu dot org 2007-12-07 19:18 --- (In reply to comment #1) Thomas, this should be straightforward. Do you want to work this along with PR 34323 ? Yes, I'll take it. -- tkoenig at gcc dot gnu dot org changed: What|Removed

[Bug c/34384] Poor code generated when passing returned struct as a parameter

2007-12-07 Thread sandmann at daimi dot au dot dk
--- Comment #1 from sandmann at daimi dot au dot dk 2007-12-07 22:00 --- Created an attachment (id=14709) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14709action=view) Program using struct returns and parameters -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34384

[Bug tree-optimization/34385] new miscompilation after PR34148 fix

2007-12-07 Thread mueller at gcc dot gnu dot org
--- Comment #2 from mueller at gcc dot gnu dot org 2007-12-07 22:47 --- diff between broken -fdump-tree-optimized and working one is really small: --- out.cc.optimized.broken 2007-12-07 23:35:37.460943000 +0100 +++ out.cc.optimized.works 2007-12-07 23:35:53.641747000 +0100 @@

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

2007-12-07 Thread pinskia at gcc dot gnu dot org
--- Comment #3 from pinskia at gcc dot gnu dot org 2007-12-07 22:52 --- This code does not look defined: i = reinterpret_cast const const_iterator (o).i; Where o is iterator. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

2007-12-07 Thread rguenth at gcc dot gnu dot org
--- Comment #5 from rguenth at gcc dot gnu dot org 2007-12-07 23:47 --- We don't warn with -Wstrict-aliasing=3 first because we prune the points-to sets based on TBAA which makes o.11_19 in o.11_19 = (const struct const_iterator *) D.2360; # VUSE D.2360_76 D.2362_20 = o.11_19-i;

  1   2   >