diff options
| author | Marek Polacek <polacek@redhat.com> | 2013-12-09 14:44:03 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-12-09 14:44:03 +0000 |
| commit | fe46e7aa01c52cb5b84902ee52e948028534f4af (patch) | |
| tree | 323f85a074a2d4d7a56a760a6dd1de3e851d0029 /gcc/vtable-verify.c | |
| parent | 85591a5ca57b1aa63eafe6f03f5d7cb15698ebed (diff) | |
| download | gcc-fe46e7aa01c52cb5b84902ee52e948028534f4af.zip gcc-fe46e7aa01c52cb5b84902ee52e948028534f4af.tar.gz gcc-fe46e7aa01c52cb5b84902ee52e948028534f4af.tar.bz2 | |
re PR sanitizer/59415 (ICE segfault in verify_bb_vtables for g++ -S -fvtable-verify=std -fsanitize=null)
PR sanitizer/59415
* vtable-verify.c (verify_bb_vtables): Check the return value
of gimple_call_fn. Use is_gimple_call instead of gimple_code.
testsuite/
* g++.dg/ubsan/pr59415.C: New test.
From-SVN: r205805
Diffstat (limited to 'gcc/vtable-verify.c')
| -rw-r--r-- | gcc/vtable-verify.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/vtable-verify.c b/gcc/vtable-verify.c index b544695..7060189 100644 --- a/gcc/vtable-verify.c +++ b/gcc/vtable-verify.c @@ -586,10 +586,10 @@ verify_bb_vtables (basic_block bb) stmt = gsi_stmt (gsi_virtual_call); /* Count virtual calls. */ - if (gimple_code (stmt) == GIMPLE_CALL) + if (is_gimple_call (stmt)) { tree fncall = gimple_call_fn (stmt); - if (TREE_CODE (fncall) == OBJ_TYPE_REF) + if (fncall && TREE_CODE (fncall) == OBJ_TYPE_REF) total_num_virtual_calls++; } |