Re: [RFA][PATCH] Convert sprintf warning code to use a dominator walk

2017-10-26 Thread Jeff Law
On 10/26/2017 03:09 AM, Richard Biener wrote: > On Wed, Oct 25, 2017 at 5:44 PM, Jeff Law wrote: >> On 10/24/2017 11:35 AM, Martin Sebor wrote: >>> On 10/23/2017 05:14 PM, Jeff Law wrote: Martin, I'd like your thoughts on this patch. One of the things I'm working on i

Re: [RFA][PATCH] Convert sprintf warning code to use a dominator walk

2017-10-26 Thread Richard Biener
On Wed, Oct 25, 2017 at 5:44 PM, Jeff Law wrote: > On 10/24/2017 11:35 AM, Martin Sebor wrote: >> On 10/23/2017 05:14 PM, Jeff Law wrote: >>> >>> Martin, >>> >>> I'd like your thoughts on this patch. >>> >>> One of the things I'm working on is changes that would allow passes that >>> use dominator

Re: [RFA][PATCH] Convert sprintf warning code to use a dominator walk

2017-10-25 Thread Jeff Law
On 10/24/2017 11:35 AM, Martin Sebor wrote: > On 10/23/2017 05:14 PM, Jeff Law wrote: >> >> Martin, >> >> I'd like your thoughts on this patch. >> >> One of the things I'm working on is changes that would allow passes that >> use dominator walks to trivially perform context sensitive range >> analy

Re: [RFA][PATCH] Convert sprintf warning code to use a dominator walk

2017-10-24 Thread Martin Sebor
On 10/23/2017 05:14 PM, Jeff Law wrote: Martin, I'd like your thoughts on this patch. One of the things I'm working on is changes that would allow passes that use dominator walks to trivially perform context sensitive range analysis as a part of their dominator walk. As I outlined earlier thi

[RFA][PATCH] Convert sprintf warning code to use a dominator walk

2017-10-23 Thread Jeff Law
Martin, I'd like your thoughts on this patch. One of the things I'm working on is changes that would allow passes that use dominator walks to trivially perform context sensitive range analysis as a part of their dominator walk. As I outlined earlier this would allow us to easily fix the false p