http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59437
--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Author: mpolacek Date: Tue Dec 10 10:49:39 2013 New Revision: 205854 URL: http://gcc.gnu.org/viewcvs?rev=205854&root=gcc&view=rev Log: PR sanitizer/59437 * vtable-verify.c (var_is_used_for_virtual_call_p): Check the return value of gimple_call_fn. Use is_gimple_call/is_gimple_assign instead of gimple_code. testsuite/ * g++.dg/ubsan/pr59437.C: New test. Added: trunk/gcc/testsuite/g++.dg/ubsan/pr59437.C Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/vtable-verify.c