On Fri, Mar 24, 2017 at 2:55 PM, Jakub Jelinek <ja...@redhat.com> wrote: > c*_mark_addressable doesn't look through VIEW_CONVERT_EXPRs that > vector subscripts are turned into, which means we don't diagnose > taking address of e.g. a vector element in a hard register. > > On the other side, I think we want to support just normal vector > subscripting of vectors in hard registers, that can be expanded > into e.g. vector shift etc. > > So, this patch handles specially c*_mark_addressable calls from > array_ref building, otherwise diagnoses taking addresses of > vector elements in hard registers. > > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
OK if C doesn't object. Jason