summaryrefslogtreecommitdiff
path: root/gcc/emit-rtl.c
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2008-12-03 08:40:50 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2008-12-03 08:40:50 +0000
commit0ce2b2991c6cef3d65055cc06ad76aeffb3587a3 (patch)
tree8997fcdef589e56a8ca3d3a251a0bc0305892e4b /gcc/emit-rtl.c
parent396315d951e6e0743fa9a55e9f8933e7fb5d1352 (diff)
downloadgcc-0ce2b2991c6cef3d65055cc06ad76aeffb3587a3.tar.gz
re PR rtl-optimization/38281 (segmentation fault with optimization enabled)
PR rtl-optimization/38281 * combine.c (distribute_notes): When invoking SET_INSN_DELETED on i2, set it to NULL_RTX afterwards. * emit-rtl.c (set_insn_deleted): Fix formatting. Co-Authored-By: Andrew Pinski <andrew_pinski@playstation.sony.com> Co-Authored-By: Jakub Jelinek <jakub@redhat.com> From-SVN: r142388
Diffstat (limited to 'gcc/emit-rtl.c')
-rw-r--r--gcc/emit-rtl.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c
index ced4e58b160..0738f384497 100644
--- a/gcc/emit-rtl.c
+++ b/gcc/emit-rtl.c
@@ -3620,7 +3620,8 @@ add_insn_before (rtx insn, rtx before, basic_block bb)
/* Replace insn with an deleted instruction note. */
-void set_insn_deleted (rtx insn)
+void
+set_insn_deleted (rtx insn)
{
df_insn_delete (BLOCK_FOR_INSN (insn), INSN_UID (insn));
PUT_CODE (insn, NOTE);