Re: [PATCH] Fix PR80776

2017-11-28 Thread Jeff Law
On 11/28/2017 02:14 AM, Richard Biener wrote: > On Mon, 27 Nov 2017, Jeff Law wrote: > >> On 11/27/2017 06:39 AM, Richard Biener wrote: >>> >>> The following avoids -Wformat-overflow false positives by teaching >>> EVRP the trick about __builtin_unreachable () "other" edges and >>> attaching range

Re: [PATCH] Fix PR80776

2017-11-28 Thread Richard Biener
On Mon, 27 Nov 2017, Jeff Law wrote: > On 11/27/2017 06:39 AM, Richard Biener wrote: > > > > The following avoids -Wformat-overflow false positives by teaching > > EVRP the trick about __builtin_unreachable () "other" edges and > > attaching range info to SSA names. EVRP does a better job in kee

Re: [PATCH] Fix PR80776

2017-11-27 Thread Jeff Law
On 11/27/2017 06:39 AM, Richard Biener wrote: > > The following avoids -Wformat-overflow false positives by teaching > EVRP the trick about __builtin_unreachable () "other" edges and > attaching range info to SSA names. EVRP does a better job in keeping > ranges for every SSA name from conditiona

[PATCH] Fix PR80776

2017-11-27 Thread Richard Biener
The following avoids -Wformat-overflow false positives by teaching EVRP the trick about __builtin_unreachable () "other" edges and attaching range info to SSA names. EVRP does a better job in keeping ranges for every SSA name from conditional info (VRP "optimizes" its costly ASSERT_EXPR insertion