[Bug ipa/71207] [5/6/7 Regression] gcc 5.3 and 6.1 generates wrong code with -O2

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71207

--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Tue Jan 17 15:11:00 2017
New Revision: 244530

URL: https://gcc.gnu.org/viewcvs?rev=244530&root=gcc&view=rev
Log:
Fix wrong assumption in contains_type_p (PR ipa/71207).

2017-01-17  Martin Liska  <mli...@suse.cz>

        PR ipa/71207
        * g++.dg/ipa/pr71207.C: New test.
2017-01-17  Martin Liska  <mli...@suse.cz>

        PR ipa/71207
        * ipa-polymorphic-call.c (contains_type_p): Fix wrong
        assumption and add comment.

Added:
    trunk/gcc/testsuite/g++.dg/ipa/pr71207.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-polymorphic-call.c
    trunk/gcc/testsuite/ChangeLog