Support BIT_FIELD_REF in MPX (PR ipa/79764).
authorMartin Liska <mliska@suse.cz>
Thu, 9 Mar 2017 09:26:45 +0000 (10:26 +0100)
committerMartin Liska <marxin@gcc.gnu.org>
Thu, 9 Mar 2017 09:26:45 +0000 (09:26 +0000)
commita278b1c38f8bc1f14f6d07c303b81a8856491efa
tree7d1ac3e0301a2d14141b00cf32cd4f0e82288e67
parent8dc19053e1f5af5af97ce7b9e8ebd6e657b23277
Support BIT_FIELD_REF in MPX (PR ipa/79764).

2017-03-09  Martin Liska  <mliska@suse.cz>

PR ipa/79764
(chkp_narrow_size_and_offset): New function.
(chkp_parse_array_and_component_ref): Support BIT_FIELD_REF.
(void chkp_parse_bit_field_ref): New function.
(chkp_make_addressed_object_bounds): Add case for BIT_FIELD_REF.
(chkp_process_stmt): Use chkp_parse_bit_field_ref.
2017-03-09  Martin Liska  <mliska@suse.cz>

PR ipa/79764
* g++.dg/pr79764.C: New test.

From-SVN: r245994
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/pr79764.C [new file with mode: 0644]
gcc/tree-chkp.c