Re: Pointer Bounds Checker and trailing arrays (PR68270)

2017-01-04 Thread Richard Biener
On Thu, Dec 22, 2016 at 12:47 AM, Ilya Enkovich wrote: > 2016-12-21 22:18 GMT+03:00 Alexander Ivchenko : >> Right.. here is this updated chunk (otherwise no difference in the patch) >> >> diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c >> index 2769682..6c7862c 100644 >> --- a/gcc/tree-chkp.c >> ++

Re: Pointer Bounds Checker and trailing arrays (PR68270)

2016-12-27 Thread Alexander Ivchenko
Committed as r243936. Thank you, Alexander 2016-12-22 2:47 GMT+03:00 Ilya Enkovich : > 2016-12-21 22:18 GMT+03:00 Alexander Ivchenko : >> Right.. here is this updated chunk (otherwise no difference in the patch) >> >> diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c >> index 2769682..6c7862c 100644

Re: Pointer Bounds Checker and trailing arrays (PR68270)

2016-12-21 Thread Ilya Enkovich
2016-12-21 22:18 GMT+03:00 Alexander Ivchenko : > Right.. here is this updated chunk (otherwise no difference in the patch) > > diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c > index 2769682..6c7862c 100644 > --- a/gcc/tree-chkp.c > +++ b/gcc/tree-chkp.c > @@ -3272,6 +3272,9 @@ chkp_may_narrow_to_f

Re: Pointer Bounds Checker and trailing arrays (PR68270)

2016-12-21 Thread Alexander Ivchenko
Right.. here is this updated chunk (otherwise no difference in the patch) diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c index 2769682..6c7862c 100644 --- a/gcc/tree-chkp.c +++ b/gcc/tree-chkp.c @@ -3272,6 +3272,9 @@ chkp_may_narrow_to_field (tree field) { return DECL_SIZE (field) && TREE_CODE

Re: Pointer Bounds Checker and trailing arrays (PR68270)

2016-12-21 Thread Ilya Enkovich
2016-12-20 17:44 GMT+03:00 Alexander Ivchenko : > 2016-11-26 0:28 GMT+03:00 Ilya Enkovich : >> 2016-11-25 15:47 GMT+03:00 Alexander Ivchenko : >>> Hi, >>> >>> The patch below addresses PR68270. could you please take a look? >>> >>> 2016-11-25 Alexander Ivchenko >>> >>>* c-family/c.opt (f

Re: Pointer Bounds Checker and trailing arrays (PR68270)

2016-12-20 Thread Alexander Ivchenko
2016-11-26 0:28 GMT+03:00 Ilya Enkovich : > 2016-11-25 15:47 GMT+03:00 Alexander Ivchenko : >> Hi, >> >> The patch below addresses PR68270. could you please take a look? >> >> 2016-11-25 Alexander Ivchenko >> >>* c-family/c.opt (flag_chkp_flexible_struct_trailing_arrays): >>Add n

Re: Pointer Bounds Checker and trailing arrays (PR68270)

2016-11-25 Thread Ilya Enkovich
2016-11-25 15:47 GMT+03:00 Alexander Ivchenko : > Hi, > > The patch below addresses PR68270. could you please take a look? > > 2016-11-25 Alexander Ivchenko > >* c-family/c.opt (flag_chkp_flexible_struct_trailing_arrays): >Add new option. >* tree-chkp.c (chkp_parse_array_

Pointer Bounds Checker and trailing arrays (PR68270)

2016-11-25 Thread Alexander Ivchenko
Hi, The patch below addresses PR68270. could you please take a look? 2016-11-25 Alexander Ivchenko * c-family/c.opt (flag_chkp_flexible_struct_trailing_arrays): Add new option. * tree-chkp.c (chkp_parse_array_and_component_ref): Forbid narrowing when chkp_parse_arr