[Attributor][FIX] Use maximal access for dereferenceability deduction
While we can use range information when we derive dereferenceability we must make sure to pick he right end of the range. Before we always went with the minimal offset, which is not correct if we want to combine the base dereferenceability with some offset. In that case it's the maximum that gives the correct result.
Loading
Please register or sign in to comment