Alexandre Oliva <ol...@adacore.com> writes:

> When ifcombine_mark_ssa_name is called directly, rather than by
> ifcombine_mark_ssa_name_walk, we need to check that name is an
> SSA_NAME at the caller or in the function itself.  For convenience and
> safety, I'm moving the checks from _walk to the implementation proper.
>
> Regstrapped on x86_64-linux-gnu and on ppc64-linux-gnu, along with 3
> other ifcombine patches.  Ok to install?
>
>
> for  gcc/ChangeLog
>
>       PR tree-optimization/117915
>       * tree-ssa-ifcombine.cc (ifcombine_mark_ssa_name): Move
>       preconditions from...
>       (ifcombine_mark_ssa_name_walk): ... here.
>
> for  gcc/testsuite/ChangeLog
>
>       PR tree-optimization/117915
>       * gcc.dg/pr117915.c: New.
> ---
>  gcc/testsuite/gcc.dg/pr117915.c |    9 +++++++++
>  gcc/tree-ssa-ifcombine.cc       |    5 ++---
>  2 files changed, 11 insertions(+), 3 deletions(-)
>  create mode 100644 gcc/testsuite/gcc.dg/pr117915.c
>
> diff --git a/gcc/testsuite/gcc.dg/pr117915.c b/gcc/testsuite/gcc.dg/pr117915.c
> new file mode 100644
> index 0000000000000..4029a20068e9d
> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/pr117915.c
> @@ -0,0 +1,9 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -fno-tree-copy-prop -fno-tree-vrp" */

Missing closing '}'.

Reply via email to