Re: RFC: Hack to make restrict more useful

2007-09-01 Thread Richard Guenther
On 9/1/07, Mark Mitchell [EMAIL PROTECTED] wrote: This bug: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33272 is about a situation in which -fargument-noalias works better than putting restrict on all pointer arguments to a function, even though that should be logically equivalent. Using

Build failure on Darwin, revision 127998 (solved)

2007-09-01 Thread Dominique Dhumieres
Following http://gcc.gnu.org/ml/gcc/2007-08/msg00544.html I have updated to revision 128003 and tried 'make bootstrap', then 'configure' + 'make bootstrap' without success (the same kind of failure in libgcc). I the tried a fresh install: new directory, configure, and make, and it worked. So now

GCC Plugin Branch

2007-09-01 Thread Brendon Costa
Hi all, I have just recently had time to checkout and build the GCC plugin branch. I am interested in building a simple plugin to give it a try. After reading through the patches it seems simple enough, I just need to create a shared library that defines the symbols: pre_translation_unit

Re: RFC: Hack to make restrict more useful

2007-09-01 Thread Mark Mitchell
Richard Guenther wrote: I have a prototype hack which changes checks of flag_argument_noalias != 0 to also check for the presence of restrict on all pointer arguments. This fixes the test case, modulo a C front-end bug which Joseph has volunteered to fix. AFAIK Danny had been fixing

(gcc 4.2) how to create an ADDR_EXPR that refers to a linkage name?

2007-09-01 Thread Gary Funck
We are in the process of updating GCC/UPC's support for the UPC dialect of C to version 4.2.0 of GCC. GCC/UPC is described here: http://www.intrepid.com/upc.html Generally, things are working. However, at the moment, all tests fail when optimizations are enabled. For example: test00.upc:35:

Re: (gcc 4.2) how to create an ADDR_EXPR that refers to a linkage name?

2007-09-01 Thread Diego Novillo
On 9/1/07, Gary Funck [EMAIL PROTECTED] wrote: All suggestions/help appreciated, - Gary Have you considered using the data sharing machinery in OpenMP? We simply create a data structure holding all shared variables, allocate that in shared memory and re-write all references to shared variables

Re: (gcc 4.2) how to create an ADDR_EXPR that refers to a linkage name?

2007-09-01 Thread Gary Funck
On Sat, Sep 01, 2007 at 01:43:37PM -0400, Diego Novillo wrote: Have you considered using the data sharing machinery in OpenMP? We simply create a data structure holding all shared variables, allocate that in shared memory and re-write all references to shared variables as dereferences to

Re: RFC: Hack to make restrict more useful

2007-09-01 Thread Richard Guenther
On 9/1/07, Mark Mitchell [EMAIL PROTECTED] wrote: Richard Guenther wrote: I have a prototype hack which changes checks of flag_argument_noalias != 0 to also check for the presence of restrict on all pointer arguments. This fixes the test case, modulo a C front-end bug which Joseph has

Re: RFC: Hack to make restrict more useful

2007-09-01 Thread Mark Mitchell
Richard Guenther wrote: I fully concede that my trick isn't a general solution to making full use of restrict. But, given that I think it'll take about 20-50 lines of code, and that it will get a lot of the common cases, I think it's worth it. Do you agree? Yes, I agree. I just was

Re: RFC: Hack to make restrict more useful

2007-09-01 Thread Mark Mitchell
Richard Guenther wrote: OK, great. Here's a draft patch for the trick; this works on the test case I had, and I'll be testing it now. If it passes testing, and I add testcases, does this look OK to you? Thanks for the speedy and accurate review! + bool noalias; it's an int. Doh,

Re: RFC: Hack to make restrict more useful

2007-09-01 Thread Richard Guenther
On 9/1/07, Mark Mitchell [EMAIL PROTECTED] wrote: Richard Guenther wrote: I fully concede that my trick isn't a general solution to making full use of restrict. But, given that I think it'll take about 20-50 lines of code, and that it will get a lot of the common cases, I think it's

[Bug fortran/33221] Using type(...) of TYPE declarations without components fails

2007-09-01 Thread burnus at gcc dot gnu dot org
--- Comment #1 from burnus at gcc dot gnu dot org 2007-09-01 08:20 --- It already fails for TYPE t END TYPE t type(t) :: myt end -- burnus at gcc dot gnu dot org changed: What|Removed |Added

[Bug middle-end/33272] Compiler does not take advantage of restrict

2007-09-01 Thread rguenth at gcc dot gnu dot org
--- Comment #1 from rguenth at gcc dot gnu dot org 2007-09-01 11:15 --- Nearly a dup. Search for restrict and missed-optimization, alias for more of them. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug c++/33239] [4.1/4.2/4.3 Regression] internal compiler error in instantiate_class_template, at cp/pt.c:5666

2007-09-01 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 rtl-optimization/33249] -O3 and -O2 give wrong results with gcc 4.1.2 on solaris sparc

2007-09-01 Thread satyaakam at yahoo dot co dot in
--- Comment #2 from satyaakam at yahoo dot co dot in 2007-09-01 13:26 --- it is gcc 4.1.2 the base release. Satya -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33249

[Bug middle-end/33273] FAIL: 27_io/basic_istream/ignore/char/1.cc (test for excess errors)

2007-09-01 Thread danglin at gcc dot gnu dot org
--- Comment #3 from danglin at gcc dot gnu dot org 2007-09-01 15:25 --- Sorry Sandra, I see looking at the backtrace in more detail that the ICE arises from the new code added here: 2007-08-24 Jakub Jelinek [EMAIL PROTECTED] * expr.c (store_expr): Optimize initialization of

[Bug libgcj/33263] [4.3 regression] libjava testsuite failures on alpha-linux

2007-09-01 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added CC||pinskia at gcc dot gnu dot |

[Bug fortran/33217] [4.3 regression] ICE on INQUIRE in a module

2007-09-01 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33217

[Bug c++/33185] [4.3 Regression] ICE: canonical types differ for identical types T [] and T []

2007-09-01 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33185

[Bug inline-asm/33220] impossible constraint in �asm�

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #1 from pinskia at gcc dot gnu dot org 2007-09-01 19:51 --- -msoft-float disables the floating register stack so this is not a bug. The error message is correct the constraint is impossible. -- pinskia at gcc dot gnu dot org changed: What|Removed

[Bug c++/33213] [4.3 regression] Broken diagnostic: 'type_pack_expansion' not supported by dump_decl

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #1 from pinskia at gcc dot gnu dot org 2007-09-01 19:56 --- Confirmed. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added

[Bug c++/33207] [4.3 regression] ICE redeclaring namespace as struct

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #1 from pinskia at gcc dot gnu dot org 2007-09-01 19:57 --- Confirmed. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #1 from pinskia at gcc dot gnu dot org 2007-09-01 20:03 --- Confirmed. The problem is obvious: error (invalid use of %--% on bool variable %qD, arg); %qD should be %qE. -- pinskia at gcc dot gnu dot org changed: What|Removed

[Bug tree-optimization/33245] Missed opportunities for vectorization due to invariant condition

2007-09-01 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Severity|normal |enhancement http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33245

[Bug middle-end/33272] Compiler does not take advantage of restrict

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #2 from pinskia at gcc dot gnu dot org 2007-09-01 20:12 --- Well for the RTL level, with this code, one problem is that iv-opts messes up: ivtmp.34 = (long unsigned int) (*(b + 64))[j]; There is a bug for the iv-opts issue too (though I have not had time to look into

[Bug target/31507] [4.3 Regression] libffi regression, many.c, closure_fn2/fn3.c with -Os

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #3 from pinskia at gcc dot gnu dot org 2007-09-01 20:21 --- Ok, I can reproduce this, reducing. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31507

[Bug target/31507] [4.3 Regression] libffi regression, many.c, closure_fn2/fn3.c with -Os

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #4 from pinskia at gcc dot gnu dot org 2007-09-01 20:32 --- Reduced testcase: typedef int (*closure_test_type3)(float, float, float, float, float, float, float, float, double, int, float, float, int, float, float, int); int f (closure_test_type3 pcl) { int res;

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread pcarlini at suse dot de
--- Comment #2 from pcarlini at suse dot de 2007-09-01 20:52 --- But do we really want 'a.A::b' ?!? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33208

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #3 from pinskia at gcc dot gnu dot org 2007-09-01 21:01 --- (In reply to comment #2) But do we really want 'a.A::b' ?!? Well the error message needs rewording also. Something like: invalid use of %--% on bool lvalue %qE --

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread gdr at cs dot tamu dot edu
--- Comment #4 from gdr at cs dot tamu dot edu 2007-09-01 21:07 --- Subject: Re: Broken diagnostic: 'component_ref' not supported by dump_decl pcarlini at suse dot de [EMAIL PROTECTED] writes: | But do we really want 'a.A::b' ?!? No, we don't. The format specific is OK -- e.g. it

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread pcarlini at suse dot de
--- Comment #5 from pcarlini at suse dot de 2007-09-01 21:11 --- Thanks Gaby, let's see what I can do... -- pcarlini at suse dot de changed: What|Removed |Added

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #6 from pinskia at gcc dot gnu dot org 2007-09-01 21:12 --- Another testcase: void f(bool *b) { (*b)--; } And another one: bool g(void); void f(bool *b) { g()--; } So variable in the error message does not make sense at all. We want to use lvalue instead. --

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread pinskia at gcc dot gnu dot org
--- Comment #7 from pinskia at gcc dot gnu dot org 2007-09-01 21:15 --- (In reply to comment #4) | But do we really want 'a.A::b' ?!? No, we don't. The format specific is OK -- e.g. it should be %qD. However, the caller of error() should make sure it gives a _DECL. It isn't

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread gdr at cs dot tamu dot edu
--- Comment #8 from gdr at cs dot tamu dot edu 2007-09-01 21:59 --- Subject: Re: Broken diagnostic: 'component_ref' not supported by dump_decl pinskia at gcc dot gnu dot org [EMAIL PROTECTED] writes: | Another testcase: | void f(bool *b) | { | (*b)--; | } | | And another one: |

[Bug c++/33208] Broken diagnostic: 'component_ref' not supported by dump_decl

2007-09-01 Thread pcarlini at suse dot de
--- Comment #9 from pcarlini at suse dot de 2007-09-01 22:14 --- (In reply to comment #8) Paolo, what about error (invalid use of Boolean expression as operand to %operator--%) ? Cetainly works for me... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33208

[Bug libgomp/33275] New: Transient libgomp.fortran/omp_parse3.f90 -O0 failure

2007-09-01 Thread hjl at lucon dot org
There is a transient failure of libgomp.fortran/omp_parse3.f90 at -O0 on Linux/ia32. It aborts one of 3 tries. When it fails, (gdb) bt #0 0x47a2 in _dl_sysinfo_int80 () from /lib/ld-linux.so.2 #1 0x401307a5 in raise () from /lib/tls/libc.so.6 #2 0x40132209 in abort () from

[Bug fortran/33276] New: [4.3 Regression] 465.tonto in SPEC CPU 2006 fails to compile

2007-09-01 Thread hjl at lucon dot org
-linux-gnu/4.3.0/f951 textfile.fppized.f90 -quiet -dumpbase textfile.fppized.f90 -mtune=generic -auxbase textfile.fppized -O2 -version -ffast-math -o textfile.fppized.s -fintrinsic-modules-path /usr/gcc-4.3/lib/gcc/x86_64-unknown-linux-gnu/4.3.0/finclude GNU F95 (GCC) version 4.3.0 20070901

[Bug fortran/33276] [4.3 Regression] 465.tonto in SPEC CPU 2006 fails to compile

2007-09-01 Thread hjl at lucon dot org
--- Comment #1 from hjl at lucon dot org 2007-09-01 22:50 --- Program received signal SIGSEGV, Segmentation fault. 0x004083a0 in gfc_simplify_iterator_var (e=0x12279c0) at /net/gnu-13/export/gnu/src/gcc/gcc/gcc/fortran/array.c:1235 1235if (e-symtree == p-variable)

[Bug target/33267] [4.3 Regression] libgomp testsuite timeouts

2007-09-01 Thread debian-gcc at lists dot debian dot org
--- Comment #2 from debian-gcc at lists dot debian dot org 2007-09-01 22:53 --- reopening, still fails with r128012 on i486-linux-gnu -- debian-gcc at lists dot debian dot org changed: What|Removed |Added

[Bug fortran/33276] [4.3 Regression] 465.tonto in SPEC CPU 2006 fails to compile

2007-09-01 Thread hjl at lucon dot org
--- Comment #2 from hjl at lucon dot org 2007-09-01 23:01 --- In expand_iterator, there are cleanup: gfc_free_expr (start); gfc_free_expr (end); gfc_free_expr (step); mpz_clear (trip); mpz_clear (frame.value); iter_stack = frame.prev; return t; } But frame.prev may be

[Bug bootstrap/15212] [4.0/4.1/4.2/4.3 Regression] bootstrap fails on interix3

2007-09-01 Thread mkoeppe at gmx dot de
--- Comment #36 from mkoeppe at gmx dot de 2007-09-01 23:40 --- Created an attachment (id=14148) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14148action=view) gcc 4.2.1 on interix 3.5 with shared libs This patch adds building the gcc libs (libstdc++, libffi, ...) as shared. The

[Bug middle-end/33272] Compiler does not take advantage of restrict

2007-09-01 Thread jsm28 at gcc dot gnu dot org
--- Comment #3 from jsm28 at gcc dot gnu dot org 2007-09-02 00:11 --- Subject: Bug 33272 Author: jsm28 Date: Sun Sep 2 00:11:20 2007 New Revision: 128018 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=128018 Log: PR middle-end/33272 * c-decl.c (grokdeclarator):

[Bug rtl-optimization/33258] guaranteed-true arithmetic test not optimized away depending on constant

2007-09-01 Thread raeburn at raeburn dot org
--- Comment #2 from raeburn at raeburn dot org 2007-09-02 01:43 --- After a little more experimentation, it appears that the signed-math cases that do get optimized are those with positive divisors that are not powers of two. If the divisors are powers of two (so that the operations

[Bug c/33277] New: [4.3.0 Regression] Bootstrap check failures ICE's

2007-09-01 Thread michelin60 at gmail dot com
--with-ibmlongdouble --with-cpu=G4 --enable-clocale=gnu --with-system-zlib Thread model: posix gcc version 4.3.0 20070901 (experimental) (GCC) /usr/libexec/gcc/powerpc-unknown-linux-gnu/4.3.0/cc1 -quiet -v -D__unix__ -D__gnu_linux__ -D__linux__ -Dunix -D__unix -Dlinux -D__linux -Asystem=linux -Asystem=unix