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 '}'.