expmed.c (strict_volatile_bitfield_p): Check that the access will not cross a MODESIZ...
authorBernd Edlinger <bernd.edlinger@hotmail.de>
Wed, 1 Apr 2015 16:09:48 +0000 (16:09 +0000)
committerBernd Edlinger <edlinger@gcc.gnu.org>
Wed, 1 Apr 2015 16:09:48 +0000 (16:09 +0000)
commitb6dd42a9a8ec56b5badc59c78f69760048914da4
tree685a24f72b5aab58aa712a1d6f12a24c7ec9f71c
parent14e51ef29345191a67a212ecccd79fa426826a64
expmed.c (strict_volatile_bitfield_p): Check that the access will not cross a MODESIZE boundary.

gcc:
2015-04-01  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * expmed.c (strict_volatile_bitfield_p): Check that the access will
        not cross a MODESIZE boundary.
        (store_bit_field, extract_bit_field): Added assertions in the
        strict volatile bitfields code path.

testsuite:
2015-04-01  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * gcc.dg/pr23623.c: Added aligned attribute.
        * gcc.dg/20141029-1.c: Likewise.
        * gcc.dg/20150306-1.c: New test.

From-SVN: r221809
gcc/ChangeLog
gcc/expmed.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/20141029-1.c
gcc/testsuite/gcc.dg/20150306-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr23623.c