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

Reply via email to