Parma Polyhedra Library 0.10.2

2009-04-18 Thread Roberto Bagnara
We announce the availability of PPL 0.10.2, a new release of the Parma Polyhedra Library fixing a few bugs affecting PPL 0.10.1. The precise list of user-visible changes is below. For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ The core

[RFC] Massive recursion in tree_ssa_phiprop_1?

2009-04-18 Thread Dave Korn
Hi, I'm getting a stack overflow caused by *very* deep recursion while trying to build gnu/javax/swing/text/html/parser/HTML_401F.o in libjava, bootstrapping HEAD on i686-pc-cygwin. With the default per-thread stack size of 2MB, it crashes in tree_ssa_phiprop_1(), which by the time of

Re: [gnat] reuse of ASTs already constructed

2009-04-18 Thread Oliver Kellogg
I've run up against a problem with reusing the GNAT trees: Apparently during semantic analysis entity names are expanded to their fully qualified names in the tree. For example, when compiling the following file with the node for System already installed by a previous compilation, -- file:

[Bug regression/35671] GCC 4.4.x vs. 4.2.x performance regression

2009-04-18 Thread t dot artem at mailcity dot com
--- Comment #6 from t dot artem at mailcity dot com 2009-04-18 08:18 --- Many Linux distros compile binaries for a common lowest denominator so that you could run a distro on very old computers and CPUs - their developers in most cases choose -march=i686 or -march=i586. I compile

[Bug middle-end/36902] Array bound warning with dead code after optimization

2009-04-18 Thread manu at gcc dot gnu dot org
--- Comment #34 from manu at gcc dot gnu dot org 2009-04-18 09:25 --- Subject: Bug 36902 Author: manu Date: Sat Apr 18 09:24:45 2009 New Revision: 146305 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146305 Log: 2009-04-18 Manuel López-Ibáñez m...@gcc.gnu.org PR

[Bug c/37921] __builtin_constant_p seems to be giving false positives

2009-04-18 Thread manu at gcc dot gnu dot org
--- Comment #7 from manu at gcc dot gnu dot org 2009-04-18 09:28 --- REOPENED. This testcase is not fixed by the patch in PR 36902. -- manu at gcc dot gnu dot org changed: What|Removed |Added

[Bug c/35392] Warning array subscript is above array bounds in inline fct

2009-04-18 Thread manu at gcc dot gnu dot org
--- Comment #2 from manu at gcc dot gnu dot org 2009-04-18 09:34 --- This is probably not fixed by the patch to PR 36902. They are totally different problems. -- manu at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/39804] New: internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread segher at kernel dot crashing dot org
i386-linux-gcc -O1 -S probe_roms_32.i /home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c: In function 'romchecksum': /home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c:165: internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754 -- Summary: internal

[Bug regression/35671] GCC 4.4.x vs. 4.2.x performance regression

2009-04-18 Thread rguenth at gcc dot gnu dot org
--- Comment #7 from rguenth at gcc dot gnu dot org 2009-04-18 10:01 --- For better speed with -march=pentium2 you should add -mtune=generic which will use only pentium2 features but tunes the code to not pessimize newer processors. That said, without a testcase and maybe some analysis

[Bug tree-optimization/39804] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2009-04-18 10:02 --- Mine. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/39804] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread rguenth at gcc dot gnu dot org
--- Comment #3 from rguenth at gcc dot gnu dot org 2009-04-18 10:05 --- Hmm, I get ./cc1 -quiet -O probe_roms_32.i /home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c: In function 'romchecksum': /home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c:165: error: found a real

[Bug fortran/39782] [4.3/4.4/4.5 Regression] IO depends on uninitialised value

2009-04-18 Thread jb at gcc dot gnu dot org
--- Comment #5 from jb at gcc dot gnu dot org 2009-04-18 10:05 --- Subject: Bug 39782 Author: jb Date: Sat Apr 18 10:05:34 2009 New Revision: 146308 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146308 Log: 2009-04-18 Janne Blomqvist j...@gcc.gnu.org PR

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread rguenth at gcc dot gnu dot org
-- rguenth at gcc dot gnu dot org changed: What|Removed |Added Keywords||ice-on-valid-code Summary|internal compiler error: in

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread rguenth at gcc dot gnu dot org
--- Comment #4 from rguenth at gcc dot gnu dot org 2009-04-18 10:22 --- typedef unsigned char u8; struct __large_struct { unsigned long buf[100]; }; static inline __attribute__((always_inline)) unsigned long __copy_from_user_inatomic(void *to, const void *from, unsigned long n) {

[Bug middle-end/36902] Array bound warning with dead code after optimization

2009-04-18 Thread manu at gcc dot gnu dot org
--- Comment #35 from manu at gcc dot gnu dot org 2009-04-18 09:29 --- FIXED in GCC 4.5 -- manu at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/39804] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread segher at kernel dot crashing dot org
--- Comment #1 from segher at kernel dot crashing dot org 2009-04-18 09:53 --- Created an attachment (id=17653) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17653action=view) testcase, not minimised -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39804

[Bug fortran/39805] New: PRIVATE type cannot be a component

2009-04-18 Thread dominiq at lps dot ens dot fr
From http://groups.google.com/group/comp.lang.fortran/browse_thread/thread/ed70666b0c90b655# the following code: module m implicit none private type :: t1 integer :: i end type type :: t2 type(t1) :: j end type contains subroutine sub() implicit none

[Bug tree-optimization/39806] New: incorrect pointer hashing in ipa-struct-reorg.c

2009-04-18 Thread bonzini at gnu dot org
The way the new_local_vars hash table is hashed in ipa-struct-reorg.c causes spurious code differences across runs of GCC. I saw this, for example, in gcc.dg/struct/wo_prof_two_strs.c: --- base-mn10300-gcc-build/gcc/cc1 -mam33 +++ mn10300-gcc-build/gcc/cc1 -mam33 @@ -117,12 +117,12 @@

[Bug tree-optimization/39806] incorrect pointer hashing in ipa-struct-reorg.c

2009-04-18 Thread bonzini at gnu dot org
-- bonzini at gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last

[Bug fortran/39805] PRIVATE type cannot be a component

2009-04-18 Thread burnus at gcc dot gnu dot org
--- Comment #1 from burnus at gcc dot gnu dot org 2009-04-18 11:29 --- *** This bug has been marked as a duplicate of 39800 *** -- burnus at gcc dot gnu dot org changed: What|Removed |Added

[Bug fortran/39800] Rejects PRIVATE TYPE as compont of local type declaration

2009-04-18 Thread burnus at gcc dot gnu dot org
--- Comment #1 from burnus at gcc dot gnu dot org 2009-04-18 11:29 --- *** Bug 39805 has been marked as a duplicate of this bug. *** -- burnus at gcc dot gnu dot org changed: What|Removed |Added

[Bug target/39584] Default configure options for i686 OpenBSD produce gcc that FAILs too many Tests

2009-04-18 Thread rob1weld at aol dot com
--- Comment #1 from rob1weld at aol dot com 2009-04-18 12:49 --- Thanks for adjusting the Severity for me Andrew. There have been _small_ improvements in the Testsuite Results recently. The C compiler has gone from 828 errors a couple of months ago to a new low of only 742, but the

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread rguenth at gcc dot gnu dot org
--- Comment #5 from rguenth at gcc dot gnu dot org 2009-04-18 13:02 --- Fixed. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread rguenth at gcc dot gnu dot org
--- Comment #6 from rguenth at gcc dot gnu dot org 2009-04-18 13:02 --- Subject: Bug 39804 Author: rguenth Date: Sat Apr 18 13:02:00 2009 New Revision: 146314 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146314 Log: 2009-04-18 Richard Guenther rguent...@suse.de PR

[Bug c/35210] gcc incorrectly allows calling function returning const void

2009-04-18 Thread jsm28 at gcc dot gnu dot org
-- jsm28 at gcc dot gnu dot org changed: What|Removed |Added OtherBugsDependingO||16620, 16989 nThis||

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

2009-04-18 Thread hjl at gcc dot gnu dot org
--- Comment #7 from hjl at gcc dot gnu dot org 2009-04-18 14:54 --- Subject: Bug 39804 Author: hjl Date: Sat Apr 18 14:54:32 2009 New Revision: 146315 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146315 Log: 2009-04-18 H.J. Lu hongjiu...@intel.com Backport from

[Bug testsuite/39807] New: [4.4/4.5 Regression] Reporting of testsuite failures are messed up when using -j

2009-04-18 Thread pinskia at gcc dot gnu dot org
When running dg-extract-results on powerpc-darwin (I have not tried on other targets), I get the following error message from awk: awk: /tmp/dg-combine-results-13477-nUnyyO/list27 makes too many open files input record number 11671, file source line number 40 So only the summary of the how

[Bug testsuite/39807] [4.4/4.5 Regression] Reporting of testsuite failures are messed up when using -j

2009-04-18 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39807

[Bug testsuite/39807] [4.4/4.5 Regression] Reporting of testsuite failures are messed up when using -j

2009-04-18 Thread ebotcazou at gcc dot gnu dot org
--- Comment #1 from ebotcazou at gcc dot gnu dot org 2009-04-18 15:17 --- Same on Solaris. -- ebotcazou at gcc dot gnu dot org changed: What|Removed |Added

[Bug rtl-optimization/27468] sign-extending Alpha instructions not exploited

2009-04-18 Thread mattst88 at gmail dot com
--- Comment #2 from mattst88 at gmail dot com 2009-04-18 15:22 --- For reference, here's what the Compaq C compiler generates for each of these. (In reply to comment #0) The sign-extending Alpha instructions like addl are sometimes not used. I don't know whether the SEE pass is

[Bug rtl-optimization/27469] zero extension not eliminated

2009-04-18 Thread mattst88 at gmail dot com
--- Comment #2 from mattst88 at gmail dot com 2009-04-18 15:25 --- (In reply to comment #0) unsigned parity(unsigned x) { x ^= x 16; x ^= x 8; x ^= x 4; x = 0xf; return (0x6996 x) 1; } gcc 4.2.0 20060506 produces: extwl a0,0x2,t2

[Bug preprocessor/39647] Syntax checks in #line not quite right

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #1 from jsm28 at gcc dot gnu dot org 2009-04-18 15:28 --- Subject: Bug 39647 Author: jsm28 Date: Sat Apr 18 15:28:40 2009 New Revision: 146316 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146316 Log: libcpp: PR preprocessor/39647 * directives.c

[Bug preprocessor/39647] Syntax checks in #line not quite right

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #2 from jsm28 at gcc dot gnu dot org 2009-04-18 15:30 --- Fixed for 4.5. -- jsm28 at gcc dot gnu dot org changed: What|Removed |Added Status|NEW

[Bug fortran/39800] Rejects PRIVATE TYPE as compont of local type declaration

2009-04-18 Thread pault at gcc dot gnu dot org
--- Comment #2 from pault at gcc dot gnu dot org 2009-04-18 16:59 --- (In reply to comment #0) Thus there are two bugs: - Local TYPE declarations in procedures are wrongly rejected by local, I suppose that you mean host associated? As you say, - Public types with private

[Bug fortran/39782] [4.3/4.4/4.5 Regression] IO depends on uninitialised value

2009-04-18 Thread jv244 at cam dot ac dot uk
--- Comment #6 from jv244 at cam dot ac dot uk 2009-04-18 17:11 --- since this is a regression, what about back porting this fix to other branches (in particular 4.4). This is the only issue that triggers running the 1600 testcases in CP2K testsuite. -- jv244 at cam dot ac dot uk

[Bug c/39808] New: warn_unused_result fails to produce warning

2009-04-18 Thread sandmann at daimi dot au dot dk
The program to be attached produces the warning [...@dhcp-100-2-40 ~]$ gcc gb.c gb.c: In function ‘main’: gb.c:11: warning: ignoring return value of ‘foo’, declared with attribute warn_unused_result which is expected. However, it should also produce a warning for line 12, which is exactly the

[Bug c/39808] warn_unused_result fails to produce warning

2009-04-18 Thread sandmann at daimi dot au dot dk
--- Comment #1 from sandmann at daimi dot au dot dk 2009-04-18 17:32 --- Created an attachment (id=17654) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17654action=view) program -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39808

[Bug preprocessor/39646] __FILE__ breaks for empty file name

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #1 from jsm28 at gcc dot gnu dot org 2009-04-18 17:36 --- Subject: Bug 39646 Author: jsm28 Date: Sat Apr 18 17:36:28 2009 New Revision: 146319 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146319 Log: libcpp: PR preprocessor/39646 * include/line-map.h

[Bug preprocessor/39646] __FILE__ breaks for empty file name

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #2 from jsm28 at gcc dot gnu dot org 2009-04-18 17:37 --- Fixed for 4.5. -- jsm28 at gcc dot gnu dot org changed: What|Removed |Added Status|NEW

[Bug tree-optimization/39806] incorrect pointer hashing in ipa-struct-reorg.c

2009-04-18 Thread steven at gcc dot gnu dot org
--- Comment #1 from steven at gcc dot gnu dot org 2009-04-18 19:24 --- Spurious differences fall in the wrong code category. -- steven at gcc dot gnu dot org changed: What|Removed |Added

[Bug libstdc++/39802] std::num_get fails to parse negative zero input correctly

2009-04-18 Thread paolo at gcc dot gnu dot org
--- Comment #2 from paolo at gcc dot gnu dot org 2009-04-18 19:28 --- Subject: Bug 39802 Author: paolo Date: Sat Apr 18 19:28:40 2009 New Revision: 146323 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146323 Log: 2009-04-18 Paolo Carlini paolo.carl...@oracle.com PR

[Bug libstdc++/39802] std::num_get fails to parse negative zero input correctly

2009-04-18 Thread paolo dot carlini at oracle dot com
--- Comment #3 from paolo dot carlini at oracle dot com 2009-04-18 19:31 --- Fixed in mainline, will be fixed in 4.4.1 too. -- paolo dot carlini at oracle dot com changed: What|Removed |Added

[Bug tree-optimization/35452] erasing uncessary warning for basic block frequency computation

2009-04-18 Thread steven at gcc dot gnu dot org
--- Comment #2 from steven at gcc dot gnu dot org 2009-04-18 20:01 --- Similar as what is said in commen #0, the detailed vrp1 dump of trunk today has: Removing basic block 3 ;; basic block 3, loop depth 0, count 0 ;; prev block 7, next block 4 ;; pred: ;; succ: 8 [100.0%]

[Bug c/35210] gcc incorrectly allows calling function returning const void

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #3 from jsm28 at gcc dot gnu dot org 2009-04-18 20:03 --- Subject: Bug 35210 Author: jsm28 Date: Sat Apr 18 20:02:47 2009 New Revision: 146324 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146324 Log: PR c/35210 * c-typeck.c (build_function_call):

[Bug c/35210] gcc incorrectly allows calling function returning const void

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #4 from jsm28 at gcc dot gnu dot org 2009-04-18 20:04 --- Fixed for 4.5. -- jsm28 at gcc dot gnu dot org changed: What|Removed |Added Status|NEW

[Bug fortran/39800] Rejects PRIVATE TYPE as compont of local type declaration

2009-04-18 Thread burnus at gcc dot gnu dot org
--- Comment #3 from burnus at gcc dot gnu dot org 2009-04-18 20:35 --- Thus there are two bugs: - Local TYPE declarations in procedures are wrongly rejected by local, I suppose that you mean host associated? No, I mean: subroutine sub() TYPE :: new_local_type type(foo)

[Bug c/39809] New: emit-rtl.c:608(- gen_rtx_REG): warning: array subscript is above array bounds

2009-04-18 Thread jbglaw at lug-owl dot de
While mass-building cross-compilers, I got this warning: $ ./configure --target v850e-linux --prefix /home/jbglaw/devel/build-temp-v850e-linux/usr --enable-languages=c,c++ --disable-libc --disable-libmudflap --disable-libssp --disable-multilib --disable-shared --enable-static --with-system-zlib

[Bug bootstrap/39810] New: [melt] - revision 146327 - compiler-probe.c:106: undefined reference to `unlikely'

2009-04-18 Thread rob1weld at aol dot com
There are excess warnings and a build breaking error in revision 146327 on i386-pc-solaris2.11 (and perhaps other Platforms too). Host compiler: # gcc -v Using built-in specs. Target: i386-pc-solaris2.11 Configured with: ../gcc_trunk/configure --prefix=/usr/local/gcc4

[Bug fortran/31243] truncating strings longer than 2**32 characters

2009-04-18 Thread jvdelisle at gcc dot gnu dot org
--- Comment #8 from jvdelisle at gcc dot gnu dot org 2009-04-18 22:07 --- Unassigning myself, time constraints -- jvdelisle at gcc dot gnu dot org changed: What|Removed |Added

[Bug fortran/39811] New: Bogus warning for valid continuation lines

2009-04-18 Thread burnus at gcc dot gnu dot org
Found in http://groups.google.com/group/comp.lang.fortran/browse_thread/thread/58d772090de9d1f4 Test case by Dick Hendrickson, gfortran tested by Ron Shepard. The executable is OK, but gfortran prints a bogus warning: Warning: '' not allowed by itself in line 2 (The run-time result is: Print

[Bug fortran/31190] minimum field width list-directed output

2009-04-18 Thread jvdelisle at gcc dot gnu dot org
--- Comment #8 from jvdelisle at gcc dot gnu dot org 2009-04-18 22:22 --- Unassigning, too low priority. This would be a good one for any beginners to start learning the I/O formatting stuff. If you are interested in working this, let me help. Glad to mentor. -- jvdelisle at gcc

[Bug fortran/39811] Bogus warning for valid continuation lines

2009-04-18 Thread burnus at gcc dot gnu dot org
--- Comment #1 from burnus at gcc dot gnu dot org 2009-04-18 22:32 --- Patch (not regtested): Index: scanner.c === --- scanner.c (revision 146331) +++ scanner.c (working copy) @@ -1404,7 +1404,10 @@ if (c == '')

[Bug c/22367] constraints on '' not fully implemented

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #2 from jsm28 at gcc dot gnu dot org 2009-04-18 22:34 --- Subject: Bug 22367 Author: jsm28 Date: Sat Apr 18 22:34:10 2009 New Revision: 146332 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146332 Log: PR c/22367 * c-typeck.c (build_unary_op): Check

[Bug c/22367] constraints on '' not fully implemented

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #3 from jsm28 at gcc dot gnu dot org 2009-04-18 22:36 --- Fixed for 4.5. -- jsm28 at gcc dot gnu dot org changed: What|Removed |Added Status|NEW

[Bug testsuite/39790] gcc.dg/tls/alias-1.c,opt-2.c fail if TLS is not supported by C library

2009-04-18 Thread hp at gcc dot gnu dot org
--- Comment #1 from hp at gcc dot gnu dot org 2009-04-18 23:05 --- Long description just barely missing that you can fix it by changing that dg-line into: /* { dg-require-effective-target tls_runtime } */ though strictly speaking it's not perfect; you'd want a predicate that checks

[Bug testsuite/39790] gcc.dg/tls/alias-1.c,opt-2.c fail if TLS is not supported by C library

2009-04-18 Thread hp at gcc dot gnu dot org
--- Comment #2 from hp at gcc dot gnu dot org 2009-04-18 23:08 --- (In reply to comment #1) Bah, I missed the follow-up, as it wasn't in the audit trail. Feel free to ignore comment #1 and comment #2 (this ;) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39790

[Bug c/27676] gcc is overly strict in assignment to read-only data

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #2 from jsm28 at gcc dot gnu dot org 2009-04-18 23:21 --- Subject: Bug 27676 Author: jsm28 Date: Sat Apr 18 23:21:34 2009 New Revision: 146336 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146336 Log: PR c/27676 * c-typeck.c (readonly_warning): new.

[Bug c/27676] gcc is overly strict in assignment to read-only data

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #3 from jsm28 at gcc dot gnu dot org 2009-04-18 23:24 --- Fixed for 4.5. -- jsm28 at gcc dot gnu dot org changed: What|Removed |Added Status|NEW

[Bug c/16620] [meta-bug] C90 conformance bugs

2009-04-18 Thread jsm28 at gcc dot gnu dot org
--- Comment #2 from jsm28 at gcc dot gnu dot org 2009-04-18 23:25 --- All known target-independent C90 conformance bugs are fixed for 4.5. -- jsm28 at gcc dot gnu dot org changed: What|Removed |Added