On Fri, Jan 24, 2014 at 01:22:17PM -0700, Jeff Law wrote:
> On 01/24/14 03:52, Jakub Jelinek wrote:
> >
> >I'd say this belongs into infer_value_range instead.
> Here we go with that variant:
>
> OK for the trunk?
Yes, thanks.
> --- a/gcc/ChangeLog
> +++ b/gcc/ChangeLog
> @@ -1,3 +1,9 @@
> +2014-01-23 Jeff Law <l...@redhat.com>
> +
> + PR tree-optimization/59919
> + * tree-vrp.c (find_assert_locations_1): Do not register asserts
> + for non-returning calls.
> +
> 2014-01-23 Pat Haugen <pthau...@us.ibm.com>
>
> * config/rs6000/rs6000.c (rs6000_option_override_internal): Don't
> diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
> index 564d425..0d05178 100644
> --- a/gcc/testsuite/ChangeLog
> +++ b/gcc/testsuite/ChangeLog
> @@ -1,3 +1,8 @@
> +2014-01-23 Jeff Law <l...@redhat.com>
> +
> + PR tree-optimization/59919
> + * gcc.c-torture/compile/pr59919.c: New test.
> +
> 2014-01-23 Paolo Carlini <paolo.carl...@oracle.com>
>
> PR c++/58980
Jakub
