[RFA][PATCH] Fix tree-optimization/59919

[Jakub Jelinek]

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  <law@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  <pthaugen@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  <law@redhat.com>
> +
> +	PR tree-optimization/59919
> +	* gcc.c-torture/compile/pr59919.c: New test.
> +
>  2014-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
>  
>  	PR c++/58980

	Jakub