A variable-length array pointer 'dereference' inside sizeof() is causing GCC to
give an aliasing warning. I can think of no reason why completely
compiletime-static sizeof() activity could create an aliasing violation.
I've included a contrived example showing 4.5.0 producing the warning while
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Keywords||diagnostic
Summary|4.5.0 20091008 variable-|[4.5
--- Comment #4 from rguenth at gcc dot gnu dot org 2009-10-11 11:01 ---
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-10-11 11:08 ---
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #4 from rguenth at gcc dot gnu dot org 2009-10-11 11:22 ---
I can't reproduce this failure anymore (with rev. 152638). I'll add a
testcase.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #5 from rguenth at gcc dot gnu dot org 2009-10-11 11:24 ---
Subject: Bug 41555
Author: rguenth
Date: Sun Oct 11 11:24:10 2009
New Revision: 152639
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152639
Log:
2009-10-11 Richard Guenther rguent...@suse.de
PR
--- Comment #3 from rguenth at gcc dot gnu dot org 2009-10-11 11:56 ---
The key is IMHO that the inner loop does not have its loop header copied.
This confuses SCEV enough to think that a = (unsigned short)a is always
executed. LIM is necessary to promote all the memory to SSA names,
--- Comment #4 from rguenth at gcc dot gnu dot org 2009-10-11 11:56 ---
Sebastian, can you have a look?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41497
--- Comment #4 from rguenth at gcc dot gnu dot org 2009-10-11 12:05 ---
ehcleanup does not deal with the virtual PHI node appearing in BB13:
# BLOCK 11 freq:4067
# PRED: 10 [100.0%] (fallthru,exec)
D.2166_92 = (int *) D.2165_108;
# .MEM_148 = VDEF .MEM_106
D.2148_59 = A::foo
--- Comment #4 from ubizjak at gmail dot com 2009-10-11 12:13 ---
(In reply to comment #3)
case TYPE_LEA:
operands[2] = SET_SRC (XVECEXP (PATTERN (insn), 0, 0));
return lea{l}\t{%a2, %k0|%k0, %a2};
Won't we get (zero_extend:DI ...) for operands[2]? Don't we
want
--- Comment #16 from pault at gcc dot gnu dot org 2009-10-11 12:20 ---
Subject: Bug 40440
Author: pault
Date: Sun Oct 11 12:20:09 2009
New Revision: 152640
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152640
Log:
2009-10-11 Paul Thomas pa...@gcc.gnu.org
PR
--- Comment #5 from marcus at jet dot franken dot de 2009-10-11 12:23
---
its gone with current SVN ... not sure if its just dormant or fixed.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41668
--- Comment #1 from pault at gcc dot gnu dot org 2009-10-11 12:25 ---
Subject: Bug 41583
Author: pault
Date: Sun Oct 11 12:24:51 2009
New Revision: 152641
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152641
Log:
2009-10-11 Paul Thomas pa...@gcc.gnu.org
PR
--- Comment #17 from pault at gcc dot gnu dot org 2009-10-11 12:26 ---
(In reply to comment #16)
Sorry - that was fingers trouble on my part - wrong PR.
Paul
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40440
--- Comment #2 from pault at gcc dot gnu dot org 2009-10-11 12:29 ---
Fixed using a hash function.
TODO a proper job using vtables.
Paul
--
pault at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #50 from jv244 at cam dot ac dot uk 2009-10-11 12:45 ---
As expected, the testcases in comment #40 and comment #42 now also fail at '-O2
-flto'
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40011
--- Comment #17 from jv244 at cam dot ac dot uk 2009-10-11 12:49 ---
FYI, the testcase in comment #8 fails for '-O2 -fwhole-file' but not with '-O2
-flto', even though the latter option implies the first.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38913
--- Comment #5 from hjl dot tools at gmail dot com 2009-10-11 14:28 ---
A patch is posted at
http://gcc.gnu.org/ml/gcc-patches/2009-10/msg00693.html
--
hjl dot tools at gmail dot com changed:
What|Removed |Added
Executing on host: /test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/
/te
st/gnu/gcc/gcc/gcc/testsuite/gcc.dg/struct/w_prof_global_array.c-O3
-fwhole-
program -combine -fipa-type-escape -fprofile-generate -lm -o
/test/gnu/gcc/ob
jdir/gcc/testsuite/gcc/w_prof_global_array.x01
--- Comment #9 from rguenth at gcc dot gnu dot org 2009-10-11 15:13 ---
Ok, so the issue here is that we have
typedef struct VEC_constructor_elt_gc { } VEC_constructor_elt_gc;
vs.
typedef struct VEC_constructor_elt_gcx { } VEC_constructor_elt_gc;
which causes us to not merge the
--- Comment #1 from dave at hiauly1 dot hia dot nrc dot ca 2009-10-11
15:32 ---
Subject: Re: [4.5 Regression] /usr/ccs/bin/ld: Unsatisfied symbols:
_GLOBAL__I_65535_0_main
Introduced between 152432 and 152630.
Dave
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41674
--- Comment #10 from rguenth at gcc dot gnu dot org 2009-10-11 15:33
---
Further reduced testcase:
b.h
---
typedef union tree_node *tree;
union tree_node {
tree * use;
VEC_constructor_elt_gc *elts;
};
t1.c:
-
typedef struct VEC_constructor_elt_gc { }
Hello everybody,
the following piece of code demonstrates the problem. It compiles and prints
out T'Size: 63. Thus, with the commented line used instead, the result
should be T'Size: 64. But in that case GNAT terminates with the following
error message: main.adb:5:04: size required (65) for
This test fails occasionally because the dynamic loader is passed a NULL
file name.
Executing on host:
/mnt/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libjava/testsuite/.
./libtool --silent --tag=GCJ --mode=link /mnt/gnu/gcc/objdir/gcc/gcj
-B/mnt/gnu/
gcc/objdir/hppa2.0w-hp-hpux11.11/libjava/
--- Comment #2 from pault at gcc dot gnu dot org 2009-10-11 16:05 ---
Created an attachment (id=18783)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18783action=view)
Provisional fix for this PR
Hi Salvatore,
You might like to exercise this patch. It seems to work correctly but
--- Comment #2 from tkoenig at gcc dot gnu dot org 2009-10-11 16:44 ---
Confirmed.
--
tkoenig at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #5 from hjl dot tools at gmail dot com 2009-10-11 16:59 ---
Revision 147714 is OK and revision 147717 is bad.
--
hjl dot tools at gmail dot com changed:
What|Removed |Added
--- Comment #10 from jvdelisle at gcc dot gnu dot org 2009-10-11 17:38
---
Subject: Bug 38439
Author: jvdelisle
Date: Sun Oct 11 17:37:50 2009
New Revision: 152644
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152644
Log:
2009-10-11 Jerry DeLisle jvdeli...@gcc.gnu.org
--- Comment #11 from jvdelisle at gcc dot gnu dot org 2009-10-11 17:41
---
Subject: Bug 38439
Author: jvdelisle
Date: Sun Oct 11 17:41:23 2009
New Revision: 152645
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152645
Log:
2009-10-11 Jerry DeLisle jvdeli...@gcc.gnu.org
On Sun, Oct 11, 2009 at 8:13 AM, rguenth at gcc dot gnu dot org
gcc-bugzi...@gcc.gnu.org wrote:
is this valid cross translation-unit if T is used across units?
Yes this is valid for C. In C, types are across TUs are not based on
names. This is why the code for -combine was complex with
--- Comment #11 from pinskia at gmail dot com 2009-10-11 17:48 ---
Subject: Re: bootstrap *using* lto fails
On Sun, Oct 11, 2009 at 8:13 AM, rguenth at gcc dot gnu dot org
gcc-bugzi...@gcc.gnu.org wrote:
is this valid cross translation-unit if T is used across units?
Yes this is
--- Comment #3 from sfilippone at uniroma2 dot it 2009-10-11 18:19 ---
(In reply to comment #2)
Hi Paul,
Seems to work as advertised, in that it takes out the errors it's supposed to
cure.
On my full application I now get this:
psb_s_mat_mod.f03:1345.45:
allocate(altmp,
--- Comment #3 from janus at gcc dot gnu dot org 2009-10-11 19:07 ---
Mine.
The plan: Add a '$size' field to the class container, which will be used at
runtime to determine the size of the memory block to be allocated.
--
janus at gcc dot gnu dot org changed:
What
--- Comment #12 from jvdelisle at gcc dot gnu dot org 2009-10-11 19:20
---
Fixed enough I think. Closing.
--
jvdelisle at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #6 from hjl dot tools at gmail dot com 2009-10-11 19:34 ---
It is caused by revision 147716:
http://gcc.gnu.org/ml/gcc-cvs/2009-05/msg00693.html
--
hjl dot tools at gmail dot com changed:
What|Removed |Added
--- Comment #6 from hjl at gcc dot gnu dot org 2009-10-11 19:43 ---
Subject: Bug 41665
Author: hjl
Date: Sun Oct 11 19:42:54 2009
New Revision: 152647
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152647
Log:
2009-10-11 H.J. Lu hongjiu...@intel.com
PR target/41665
Revision 152642:
http://gcc.gnu.org/ml/gcc-cvs/2009-10/msg00291.html
caused
FAIL: gcc.target/i386/pr33555.c scan-assembler sbbl
--
Summary: [4.5 regression] Revision 152642 caused
gcc.target/i386/pr33555.c
Product: gcc
Version: 4.5.0
--- Comment #4 from ebotcazou at gcc dot gnu dot org 2009-10-11 20:06
---
Subject: Bug 33743
Author: ebotcazou
Date: Sun Oct 11 20:06:12 2009
New Revision: 152648
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152648
Log:
PR target/33743
* config/i386/sol2.h
--- Comment #4 from ubizjak at gmail dot com 2009-10-11 20:18 ---
*** Bug 41677 has been marked as a duplicate of this bug. ***
--
ubizjak at gmail dot com changed:
What|Removed |Added
--- Comment #5 from ebotcazou at gcc dot gnu dot org 2009-10-11 20:49
---
Subject: Bug 33743
Author: ebotcazou
Date: Sun Oct 11 20:48:46 2009
New Revision: 152649
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152649
Log:
PR target/33743
* config/sparc/sol2.h
--- Comment #6 from ebotcazou at gcc dot gnu dot org 2009-10-11 20:51
---
This now should work on Solaris 8, 9 and 10.
--
ebotcazou at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #2 from dodji at gcc dot gnu dot org 2009-10-11 21:51 ---
Patch sent to http://gcc.gnu.org/ml/gcc-patches/2009-10/msg00720.html .
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41570
--- Comment #14 from f dot frumento at ngi dot it 2009-10-11 22:52 ---
(In reply to comment #0)
Put this in main.c and build it with a 4.4-branch compiler using recent
binutils:
int main ()
{
return 0;
}
Versions:
GNU assembler (GNU Binutils) 2.19.51.20090611
--- Comment #13 from jvdelisle at gcc dot gnu dot org 2009-10-12 00:53
---
Subject: Bug 38439
Author: jvdelisle
Date: Mon Oct 12 00:52:45 2009
New Revision: 152657
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152657
Log:
2009-10-11 Jerry DeLisle jvdeli...@gcc.gnu.org
--- Comment #14 from jvdelisle at gcc dot gnu dot org 2009-10-12 00:54
---
Subject: Bug 38439
Author: jvdelisle
Date: Mon Oct 12 00:54:11 2009
New Revision: 152658
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152658
Log:
2009-10-11 Jerry DeLisle jvdeli...@gcc.gnu.org
The following is rejected by gfortran. I think it is valid.
read(unit=2, 100) i
100 format (f10.7)
--
Summary: Format label as second item in io control list is
rejected
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
--- Comment #1 from hp at gcc dot gnu dot org 2009-10-12 04:10 ---
Created an attachment (id=18784)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18784action=view)
patch and testcase from PR39765
Patch won't apply cleanly to gcc-4.3; apply s/CRIS_CONST/CONST/.
Also, the test-case
--- Comment #7 from hp at gcc dot gnu dot org 2009-10-12 04:12 ---
(In reply to comment #6)
PR39685 also looks related, but with a different instruction kind
Huh? That's a different port.
(In reply to comment #6)
Hm, also see PR23424.
Why? Wrong number?
HP - time to revisit
--- Comment #8 from hp at gcc dot gnu dot org 2009-10-12 04:14 ---
*** This bug has been marked as a duplicate of 26515 ***
--
hp at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #2 from hp at gcc dot gnu dot org 2009-10-12 04:14 ---
*** Bug 36482 has been marked as a duplicate of this bug. ***
--
hp at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #4 from hp at gcc dot gnu dot org 2009-10-12 04:18 ---
*** This bug has been marked as a duplicate of 26515 ***
--
hp at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #3 from hp at gcc dot gnu dot org 2009-10-12 04:18 ---
*** Bug 41642 has been marked as a duplicate of this bug. ***
--
hp at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #2 from jason at gcc dot gnu dot org 2009-10-12 04:39 ---
Subject: Bug 37204
Author: jason
Date: Mon Oct 12 04:39:04 2009
New Revision: 152661
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152661
Log:
PR c++/37204
* typeck.c
--- Comment #3 from jason at gcc dot gnu dot org 2009-10-12 04:41 ---
Fixed for 4.5. I'll also apply the fix for 4.4.3 after the 4.4.2 release goes
out.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37204
--- Comment #3 from aoliva at gcc dot gnu dot org 2009-10-12 05:15 ---
Subject: Bug 41616
Author: aoliva
Date: Mon Oct 12 05:15:02 2009
New Revision: 152662
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=152662
Log:
gcc/ChangeLog:
PR debug/41616
* tree-into-ssa.c
--
jason at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|unassigned at gcc dot gnu |jason at gcc dot gnu dot org
|dot org
--
jason at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|unassigned at gcc dot gnu |jason at gcc dot gnu dot org
|dot org
--- Comment #3 from jason at gcc dot gnu dot org 2009-10-12 05:58 ---
This doesn't ICE anymore, it says
xxx.C:10:25: sorry, unimplemented: mangling template_id_expr
We need to update the ABI to support this.
--
jason at gcc dot gnu dot org changed:
What|Removed
58 matches
Mail list logo
