[Bug c/41673] [4.5 Regression] variable-length array dereference inside sizeof gives "warning: dereferencing type-punned pointer will break strict-aliasing rules"

[hjl at gcc dot gnu dot org]

--- Comment #4 from hjl at gcc dot gnu dot org  2009-10-30 16:05 ---
Subject: Bug 41673

Author: hjl
Date: Fri Oct 30 16:04:41 2009
New Revision: 153759

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153759
Log:
2009-10-30  H.J. Lu  

Backport from mainline:
2009-10-30  Dodji Seketeli  

PR c++/41863
* g++.dg/template/sizeof12.C: New test.

2009-10-29  Martin Jambor  

PR tree-optimization/41775
* g++.dg/torture/pr41775.C: New testcase.

2009-10-28  Jakub Jelinek  

PR debug/41801
* g++.dg/ext/sync-3.C: New test.

2009-10-27  Jakub Jelinek  

PR c++/41020
* g++.dg/lookup/extern-c-redecl5.C: Fix up regexp.

2009-10-26  Jakub Jelinek  

PR bootstrap/41345
* gcc.dg/pr41345.c: New test.

2009-10-26  Dodji Seketeli  

PR c++/41785
* g++.dg/cpp0x/variadic96.C: New test.

2009-10-26  Dodji Seketeli  

PR c++/41020
* g++.dg/lookup/extern-c-redecl2.C: New test.
* g++.dg/lookup/extern-c-redecl3.C: Likewise.
* g++.dg/lookup/extern-c-redecl4.C: Likewise.
* g++.dg/lookup/extern-c-redecl5.C: Likewise.

2009-10-23  Joseph Myers  

PR c/40033
* gcc.dg/noncompile/pr40033-1.c: New test.

2009-10-23  Joseph Myers  

PR c/41673
* gcc.dg/Wstrict-aliasing-bogus-vla-1.c: New test.

2009-10-21  Sebastian Pop  

PR tree-optimization/41497
* gcc.dg/tree-ssa/pr41497.c: New.

Added:
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/variadic96.C
  - copied unchanged from r153757,
trunk/gcc/testsuite/g++.dg/cpp0x/variadic96.C
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/ext/sync-3.C
  - copied unchanged from r153757, trunk/gcc/testsuite/g++.dg/ext/sync-3.C
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/lookup/extern-c-redecl2.C
  - copied unchanged from r153757,
trunk/gcc/testsuite/g++.dg/lookup/extern-c-redecl2.C
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/lookup/extern-c-redecl3.C
  - copied unchanged from r153757,
trunk/gcc/testsuite/g++.dg/lookup/extern-c-redecl3.C
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/lookup/extern-c-redecl4.C
  - copied unchanged from r153757,
trunk/gcc/testsuite/g++.dg/lookup/extern-c-redecl4.C
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/lookup/extern-c-redecl5.C
  - copied unchanged from r153757,
trunk/gcc/testsuite/g++.dg/lookup/extern-c-redecl5.C
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/template/sizeof12.C
  - copied unchanged from r153757,
trunk/gcc/testsuite/g++.dg/template/sizeof12.C
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/torture/pr41775.C
  - copied unchanged from r153757,
trunk/gcc/testsuite/g++.dg/torture/pr41775.C
branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-vla-1.c
  - copied unchanged from r153758,
trunk/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-vla-1.c
branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/noncompile/pr40033-1.c
  - copied unchanged from r153758,
trunk/gcc/testsuite/gcc.dg/noncompile/pr40033-1.c
branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41345.c
  - copied unchanged from r153757, trunk/gcc/testsuite/gcc.dg/pr41345.c
branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/tree-ssa/pr41497.c
  - copied unchanged from r153758,
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr41497.c
Modified:
branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41673

[Bug c/41673] [4.5 Regression] variable-length array dereference inside sizeof gives "warning: dereferencing type-punned pointer will break strict-aliasing rules"

[jsm28 at gcc dot gnu dot org]

--- Comment #3 from jsm28 at gcc dot gnu dot org  2009-10-23 12:23 ---
Fixed for 4.5.


-- 

jsm28 at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
  Known to work||4.5.0
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41673

[Bug c/41673] [4.5 Regression] variable-length array dereference inside sizeof gives "warning: dereferencing type-punned pointer will break strict-aliasing rules"

[jsm28 at gcc dot gnu dot org]

--- Comment #2 from jsm28 at gcc dot gnu dot org  2009-10-23 12:18 ---
Subject: Bug 41673

Author: jsm28
Date: Fri Oct 23 12:18:42 2009
New Revision: 153496

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153496
Log:
PR c/41673
* alias.c (get_alias_set): Call langhook before returning 0 for
types with structural equality.
* c-common.c (c_common_get_alias_set): Use alias set of element
type for arrays with structural comparison.

testsuite:
* gcc.dg/Wstrict-aliasing-bogus-vla-1.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-vla-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/alias.c
trunk/gcc/c-common.c
trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41673

[Bug c/41673] [4.5 Regression] variable-length array dereference inside sizeof gives "warning: dereferencing type-punned pointer will break strict-aliasing rules"

[jsm28 at gcc dot gnu dot org]

--- Comment #1 from jsm28 at gcc dot gnu dot org  2009-10-23 01:03 ---
Testing a patch.


-- 

jsm28 at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |jsm28 at gcc dot gnu dot org
   |dot org |
 Status|UNCONFIRMED |ASSIGNED
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2009-10-23 01:03:03
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41673

[Bug c/41673] [4.5 Regression] variable-length array dereference inside sizeof gives "warning: dereferencing type-punned pointer will break strict-aliasing rules"

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

   Keywords||diagnostic
Summary|4.5.0 20091008 variable-|[4.5 Regression] variable-
   |length array dereference|length array dereference
   |inside sizeof gives |inside sizeof gives
   |"warning: dereferencing |"warning: dereferencing
   |type-punned pointer will|type-punned pointer will
   |break strict-aliasing rules"|break strict-aliasing rules"
   Target Milestone|--- |4.5.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41673