Re: [PATCH] constrain strcat destination offset (PR 83642)

2018-01-02 Thread Jeff Law
On 01/02/2018 10:27 AM, Martin Sebor wrote: > On 01/02/2018 09:44 AM, Jeff Law wrote: >> On 01/02/2018 02:57 AM, Jakub Jelinek wrote: >>> On Mon, Jan 01, 2018 at 03:31:46PM -0700, Martin Sebor wrote: The ICE in the test case submitted in PR tree-optimization/83640 is triggered by the tree

Re: [PATCH] constrain strcat destination offset (PR 83642)

2018-01-02 Thread Martin Sebor
On 01/02/2018 09:44 AM, Jeff Law wrote: On 01/02/2018 02:57 AM, Jakub Jelinek wrote: On Mon, Jan 01, 2018 at 03:31:46PM -0700, Martin Sebor wrote: The ICE in the test case submitted in PR tree-optimization/83640 is triggered by the tree-ssa-strlen pass transforming calls to strcat to strcpy wit

Re: [PATCH] constrain strcat destination offset (PR 83642)

2018-01-02 Thread Jeff Law
On 01/02/2018 02:57 AM, Jakub Jelinek wrote: > On Mon, Jan 01, 2018 at 03:31:46PM -0700, Martin Sebor wrote: >> The ICE in the test case submitted in PR tree-optimization/83640 >> is triggered by the tree-ssa-strlen pass transforming calls to >> strcat to strcpy with an offset pointing to the termi

Re: [PATCH] constrain strcat destination offset (PR 83642)

2018-01-02 Thread Jakub Jelinek
On Mon, Jan 01, 2018 at 03:31:46PM -0700, Martin Sebor wrote: > The ICE in the test case submitted in PR tree-optimization/83640 > is triggered by the tree-ssa-strlen pass transforming calls to > strcat to strcpy with an offset pointing to the terminating NUL > of the destination string, and allowi

Re: [PATCH] constrain strcat destination offset (PR 83642)

2018-01-02 Thread Richard Sandiford
Richard Sandiford writes: > Martin Sebor writes: >> The ICE in the test case submitted in PR tree-optimization/83640 >> is triggered by the tree-ssa-strlen pass transforming calls to >> strcat to strcpy with an offset pointing to the terminating NUL >> of the destination string, and allowing the

Re: [PATCH] constrain strcat destination offset (PR 83642)

2018-01-02 Thread Richard Sandiford
Martin Sebor writes: > The ICE in the test case submitted in PR tree-optimization/83640 > is triggered by the tree-ssa-strlen pass transforming calls to > strcat to strcpy with an offset pointing to the terminating NUL > of the destination string, and allowing the upper bound of the > offset's ran

[PATCH] constrain strcat destination offset (PR 83642)

2018-01-01 Thread Martin Sebor
The ICE in the test case submitted in PR tree-optimization/83640 is triggered by the tree-ssa-strlen pass transforming calls to strcat to strcpy with an offset pointing to the terminating NUL of the destination string, and allowing the upper bound of the offset's range to exceed PTRDIFF_MAX by the