]> git.ipfire.org Git - thirdparty/gcc.git/commit
Don't create out-of-bounds BIT_FIELD_REF.
authorTom de Vries <tom@codesourcery.com>
Wed, 27 Nov 2013 10:00:30 +0000 (10:00 +0000)
committerTom de Vries <vries@gcc.gnu.org>
Wed, 27 Nov 2013 10:00:30 +0000 (10:00 +0000)
commite934916c8647d1e343eaacf114fdbff22dfa07a4
treef44d3af2f2bc8bececb8139a727cb2e3d0ec9069
parentca85aa4ae60f35ae7d490abc7d3e7c68b599eb79
Don't create out-of-bounds BIT_FIELD_REF.

2013-11-27  Tom de Vries  <tom@codesourcery.com>
    Marc Glisse  <marc.glisse@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.

Co-Authored-By: Marc Glisse <marc.glisse@inria.fr>
From-SVN: r205438
gcc/ChangeLog
gcc/cp/ChangeLog
gcc/cp/semantics.c
gcc/fold-const.c
gcc/gimple-fold.c
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/pr59037.c [new file with mode: 0644]
gcc/tree-cfg.c