tree-optimization/95133 - avoid abnormal edges in path splitting
authorRichard Biener <rguenther@suse.de>
Fri, 15 May 2020 07:38:54 +0000 (09:38 +0200)
committerRichard Biener <rguenther@suse.de>
Fri, 15 May 2020 10:11:37 +0000 (12:11 +0200)
commitaaf1ee48316f9b414b11c17e298198925d816595
treef34b7b85cb8c081b36a8a3a53b2055502c2a7074
parent62af27e77b5b985bd496d9bc9ed35233bd612b04
tree-optimization/95133 - avoid abnormal edges in path splitting

When path splitting tries to detect a CFG diamond make sure it
is composed of normal (non-EH, not abnormal) edges.  Otherwise
CFG manipulation later may fail.

2020-05-15  Richard Biener  <rguenther@suse.de>

PR tree-optimization/95133
* gimple-ssa-split-paths.c
(find_block_to_duplicate_for_splitting_paths): Check for
normal edges.

* gcc.dg/pr95133.c: New testcase.
gcc/ChangeLog
gcc/gimple-ssa-split-paths.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr95133.c [new file with mode: 0644]