This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH GCC]Make pointer overflow always undefined and remove the macro
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Bin Cheng <Bin dot Cheng at arm dot com>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, nd <nd at arm dot com>
- Date: Tue, 25 Jul 2017 09:26:50 +0200
- Subject: Re: [PATCH GCC]Make pointer overflow always undefined and remove the macro
- Authentication-results: sourceware.org; auth=none
- References: <DB5PR0801MB2742FA8F5ED390127C663AD3E7BB0@DB5PR0801MB2742.eurprd08.prod.outlook.com>
On Mon, Jul 24, 2017 at 10:43 AM, Bin Cheng <Bin.Cheng@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.
Thanks,
Richard.
> Thanks,
> bin
> 2017-07-20 Bin Cheng <bin.cheng@arm.com>
>
> * 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/ChangeLog
> 2017-07-20 Bin Cheng <bin.cheng@arm.com>
>
> * gcc.dg/no-strict-overflow-7.c: Revise comment and test string.
> * gcc.dg/tree-ssa/pr81388-1.c: Ditto.