https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88454
Bug ID: 88454
Summary: [9 regression] test case
gcc.dg/tree-ssa/split-path-5.c fails after r266971
Product: gcc
Version: 9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: testsuite
Assignee: unassigned at gcc dot gnu.org
Reporter: seurer at gcc dot gnu.org
Target Milestone: ---
spawn -ignore SIGHUP /home/seurer/gcc/build/gcc-test/gcc/xgcc
-B/home/seurer/gcc/build/gcc-test/gcc/
/home/seurer/gcc/gcc-test/gcc/testsuite/gcc.dg/tree-ssa/split-path-5.c
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -O2 -fsplit-paths -fdump-tree-split-paths-details -w
-S -o split-path-5.s
PASS: gcc.dg/tree-ssa/split-path-5.c (test for excess errors)
gcc.dg/tree-ssa/split-path-5.c: pattern found 0 times
FAIL: gcc.dg/tree-ssa/split-path-5.c scan-tree-dump-times split-paths "join
point for if-convertable half-diamond" 1
testcase /home/seurer/gcc/gcc-test/gcc/testsuite/gcc.dg/tree-ssa/tree-ssa.exp
completed in 0 seconds
=== gcc Summary ===
# of expected passes 1
# of unexpected failures 1
r266971 | law | 2018-12-10 22:56:54 -0600 (Mon, 10 Dec 2018) | 6 lines
PR tree-optimization/80520
* gimple-ssa-split-paths.c (is_feasible_trace): Recognize half
diamonds that are likely if convertable.
* gcc.dg/tree-ssa/split-path-5.c: Update expected output.
* gcc.dg/tree-ssa/split-path-11.c: New test.
