On 30/08/2018 13:24, Richard Sandiford wrote: > Joey Ye <joey.ye...@gmail.com> writes: >> Hi Bin & Richard, >> >> It is not as simple as keeping the assertion, which still fails even >> with the change in reorg.c. The testing result is as following: >> >> I. With Bin's patch version 2 (removing the assertion in aarch64.c and >> adding the check in reorg.c): pr84682-2.c passes >> >> II. With Richard's suggestion to keep the assertion in aarch64, but >> adding the check in reorg.c: pr84682-2.c fails >> >> Apparently there is a different path that reaches the assertion. > > Yeah, looks like we also need to make constrain_operands check > address_operand for 'p' (which I think it should do irrespective > of "strict", since in general we can only reload an operand as > a pointer if the original value has the right form for an address). > > Thanks, > Richard >
What's the status of this patch? R.
