diff options
| author | Marek Polacek <polacek@redhat.com> | 2013-12-10 10:49:39 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-12-10 10:49:39 +0000 |
| commit | ed9e19a494a43647159b156737c55bde8ebf3c59 (patch) | |
| tree | 71efd97b5906d97af26d89bded42ae258596e14d /gcc/vtable-verify.c | |
| parent | 475948faca73b1df41566cb6b21e95795fa86b09 (diff) | |
| download | gcc-ed9e19a494a43647159b156737c55bde8ebf3c59.zip gcc-ed9e19a494a43647159b156737c55bde8ebf3c59.tar.gz gcc-ed9e19a494a43647159b156737c55bde8ebf3c59.tar.bz2 | |
re PR sanitizer/59437 (ICE in for g++ -S -fvtable-verify=std -fsanitize=null)
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.
From-SVN: r205854
Diffstat (limited to 'gcc/vtable-verify.c')
| -rw-r--r-- | gcc/vtable-verify.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/vtable-verify.c b/gcc/vtable-verify.c index dabb77b..af61e93 100644 --- a/gcc/vtable-verify.c +++ b/gcc/vtable-verify.c @@ -513,10 +513,10 @@ var_is_used_for_virtual_call_p (tree lhs, int *mem_ref_depth) { gimple stmt2 = USE_STMT (use_p); - if (gimple_code (stmt2) == GIMPLE_CALL) + if (is_gimple_call (stmt2)) { tree fncall = gimple_call_fn (stmt2); - if (TREE_CODE (fncall) == OBJ_TYPE_REF) + if (fncall && TREE_CODE (fncall) == OBJ_TYPE_REF) found_vcall = true; else return false; @@ -527,7 +527,7 @@ var_is_used_for_virtual_call_p (tree lhs, int *mem_ref_depth) (gimple_phi_result (stmt2), mem_ref_depth); } - else if (gimple_code (stmt2) == GIMPLE_ASSIGN) + else if (is_gimple_assign (stmt2)) { tree rhs = gimple_assign_rhs1 (stmt2); if (TREE_CODE (rhs) == ADDR_EXPR |