danog/ir
1
0
Fork 0
mirror of https://github.com/danog/ir.git synced 2025-01-22 05:31:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

RETURN may be followed by ENTRY

Browse Source
This commit is contained in:
Dmitry Stogov 2023-01-23 16:04:11 +03:00
parent afc948def6
commit 169033c291
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ir_check.c
View File

@ -261,12 +261,11 @@ bool ir_check(ir_ctx *ctx)
break; break;
case IR_UNREACHABLE: case IR_UNREACHABLE:
case IR_IJMP: case IR_IJMP:
case IR_RETURN:
if (use_list->count == 1) { if (use_list->count == 1) {
/* UNREACHABLE and IJMP may be used in MERGE with the following ENTRY */ /* UNREACHABLE, IJMP and RETURN may be used in MERGE with the following ENTRY */
break; break;
} }
IR_FALLTHROUGH;
case IR_RETURN:
if (use_list->count != 0) { if (use_list->count != 0) {
fprintf(stderr, "ir_base[%d].op (%s) must not have successors (%d)\n", fprintf(stderr, "ir_base[%d].op (%s) must not have successors (%d)\n",
i, ir_op_name[insn->op], use_list->count); i, ir_op_name[insn->op], use_list->count);