tree-ssa-sccvn.c (visit_reference_op_call): Value number virtual definition to virtua...
authorRichard Biener <rguenther@suse.de>
Fri, 23 Sep 2016 12:39:05 +0000 (12:39 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 23 Sep 2016 12:39:05 +0000 (12:39 +0000)
commit113d06a486475c8c1682771a392fdb056685cf01
tree8cd4536059b68c50614d19104565da7dd6ac36c9
parent26bedff5fdfaf69b1e1d4a597e4a505d0d3dac87
tree-ssa-sccvn.c (visit_reference_op_call): Value number virtual definition to virtual use if...

2016-09-23  Richard Biener  <rguenther@suse.de>

* tree-ssa-sccvn.c (visit_reference_op_call): Value number
virtual definition to virtual use if the call devirtualizes
to a const or pure function.
(visit_use): Also visit calls we can devirtualize to a
const or pure function.

* gcc.dg/tree-ssa/ssa-fre-56.c: New testcase.

From-SVN: r240431
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-56.c [new file with mode: 0644]
gcc/tree-ssa-sccvn.c