On Tue, Jul 25, 2017 at 8:26 AM, Richard Biener
<[email protected]> wrote:
> On Mon, Jul 24, 2017 at 10:43 AM, Bin Cheng <[email protected]> wrote:
>> Hi,
>> This is a followup patch to PR81388's fix. According to Richi,
>> POINTER_TYPE_OVERFLOW_UNDEFINED was added in -fstrict-overflow
>> warning work. Given:
>> A) strict-overflow was removed;
>> B) memory object can not wrap in address space;
>> C) existing code doesn't take it in consideration, as in nowrap_type_p.
>> This patch makes it always true thus removes definition/usage of the macro.
>> Bootstrap and test on x86_64 and AArch64. Is it OK?
>
> Ok.
>
> Please give others 24h to comment.
Hi,
I committed the patch as:
r250765 | amker | 2017-08-01 10:28:18 +0100 (Tue, 01 Aug 2017) | 9 lines
* tree.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Delete.
* fold-const.c (fold_comparison, fold_binary_loc): Delete use of
above macro.
* match.pd: Ditto in address comparison pattern.
gcc/testsuite
* gcc.dg/no-strict-overflow-7.c: Revise comment and test string.
* gcc.dg/tree-ssa/pr81388-1.c: Ditto.
We can always revert it if there is any different opinions.
Thanks,
bin
