http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59037
--- Comment #7 from vries at gcc dot gnu.org --- Author: vries Date: Wed Nov 27 10:00:30 2013 New Revision: 205438 URL: http://gcc.gnu.org/viewcvs?rev=205438&root=gcc&view=rev Log: Don't create out-of-bounds BIT_FIELD_REF. 2013-11-27 Tom de Vries <t...@codesourcery.com> Marc Glisse <marc.gli...@inria.fr> PR middle-end/59037 * semantics.c (cxx_fold_indirect_ref): Don't create out-of-bounds BIT_FIELD_REF. * fold-const.c (fold_indirect_ref_1): Don't create out-of-bounds BIT_FIELD_REF. * gimple-fold.c (gimple_fold_indirect_ref): Same. * tree-cfg.c (verify_expr): Give error if BIT_FIELD_REF is out-of-bounds. * c-c++-common/pr59037.c: New testcase. Added: trunk/gcc/testsuite/c-c++-common/pr59037.c Modified: trunk/gcc/ChangeLog trunk/gcc/cp/ChangeLog trunk/gcc/cp/semantics.c trunk/gcc/fold-const.c trunk/gcc/gimple-fold.c trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-cfg.c