]> git.ipfire.org Git - thirdparty/gcc.git/commit
gimple: Handle variable-sized vectors in BIT_FIELD_REF
authorTejas Belagod <tejas.belagod@arm.com>
Thu, 5 Sep 2024 09:08:38 +0000 (14:38 +0530)
committerTejas Belagod <tejas.belagod@arm.com>
Fri, 29 Nov 2024 11:31:50 +0000 (17:01 +0530)
commit4f593db8803cc8df796314ca9e15a72c51d6bde9
tree2151f409f016555d3dc528b5fc9546421b432bc8
parent47fa008ad880c115bce4007fe9808e48b0dcf859
gimple: Handle variable-sized vectors in BIT_FIELD_REF

Handle variable-sized vectors for BIT_FIELD_REF canonicalization.

gcc/ChangeLog:

* gimple-fold.cc (maybe_canonicalize_mem_ref_addr): Handle variable
sized vector types in BIT_FIELD_REF canonicalization.
* tree-cfg.cc (verify_types_in_gimple_reference): Change object-size-
checking for BIT_FIELD_REF to error offsets that are known_gt to be
outside object-size.  Out-of-range offsets can happen in the case of
indices that reference VLA SVE vector elements that may be outside the
minimum vector size range and therefore maybe_gt is not appropirate
here.
gcc/gimple-fold.cc
gcc/tree-cfg.cc