On Tue, Jul 25, 2017 at 8:26 AM, Richard Biener <richard.guent...@gmail.com> wrote: > On Mon, Jul 24, 2017 at 10:43 AM, Bin Cheng <bin.ch...@arm.com> 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