return change;
}
+/*-------------------------------------------------------------------*/
+/* deleteIfx - delete an IFX iCode or convert to DUMMY_READ_VOLATILE */
+/*-------------------------------------------------------------------*/
+static void
+deleteIfx (iCode * loop, int key)
+{
+ if (!options.lessPedantic)
+ {
+ werrorfl (loop->filename, loop->lineno, W_CONTROL_FLOW);
+ }
+ hTabDeleteItem (&labelRef, key, loop, DELETE_ITEM, NULL);
+
+ /* If the condition was volatile, convert IFX to */
+ /* DUMMY_READ_VOLATILE. Otherwise just delete the */
+ /* IFX iCode */
+ if (IS_OP_VOLATILE (IC_COND (loop)))
+ {
+ IC_RIGHT (loop) = IC_COND (loop);
+ IC_LEFT (loop) = NULL;
+ IC_RESULT (loop) = NULL;
+ loop->op = DUMMY_READ_VOLATILE;
+ }
+ else
+ {
+ loop->prev->next = loop->next;
+ loop->next->prev = loop->prev;
+ }
+}
+
+
/*-----------------------------------------------------------------*/
/* labelIfx - special case Ifx elimination */
/*-----------------------------------------------------------------*/
if (IC_TRUE (loop) &&
IC_TRUE (loop)->key == IC_LABEL (loop->next)->key)
{
-
- /* get rid of this if */
- if (!options.lessPedantic) {
- werror (W_CONTROL_FLOW, loop->filename, loop->lineno);
- }
- loop->prev->next = loop->next;
- loop->next->prev = loop->prev;
- hTabDeleteItem (&labelRef,
- (IC_TRUE (loop))->key,
- loop, DELETE_ITEM, NULL);
+ deleteIfx (loop, IC_TRUE (loop)->key);
change++;
- continue;
+ continue;
}
else
{
if (IC_FALSE (loop) &&
IC_FALSE (loop)->key == IC_LABEL (loop->next)->key)
{
- /* get rid of this if */
- if (!options.lessPedantic) {
- werror (W_CONTROL_FLOW, loop->filename, loop->lineno);
- }
- loop->prev->next = loop->next;
- loop->next->prev = loop->prev;
- hTabDeleteItem (&labelRef,
- (IC_FALSE (loop))->key,
- loop, DELETE_ITEM, NULL);
+ deleteIfx (loop, IC_FALSE (loop)->key);
change++;
continue;
}
((IC_TRUE (loop) && IC_TRUE (loop)->key == IC_LABEL (loop->next)->key) ||
(IC_FALSE (loop) && IC_FALSE (loop)->key == IC_LABEL (loop->next)->key)))
{
- if (!options.lessPedantic) {
- werror (W_CONTROL_FLOW, loop->filename, loop->lineno);
- }
- loop->prev->next = loop->next;
- loop->next->prev = loop->prev;
- hTabDeleteItem (&labelRef,
- IC_LABEL (loop->next)->key,
- loop, DELETE_ITEM, NULL);
+ deleteIfx (loop, IC_LABEL (loop->next)->key);
change++;
continue;
}
/* statement is not a label */
if (loop->op == GOTO || loop->op == RETURN)
{
-
if (loop->next &&
(loop->next->op == LABEL ||
loop->next->op == ENDFUNCTION))
hTabDeleteItem (&labelRef, IC_LABEL (tic)->key, tic, DELETE_ITEM, NULL);
break;
case IFX:
+ werrorfl (tic->filename, tic->lineno, W_CODE_UNREACH);
if (IC_TRUE (tic))
hTabDeleteItem (&labelRef, IC_TRUE (tic)->key, tic, DELETE_ITEM, NULL);
else
hTabDeleteItem (&labelRef, IC_FALSE (tic)->key, tic, DELETE_ITEM, NULL);
break;
-
+ default:
+ werrorfl (tic->filename, tic->lineno, W_CODE_UNREACH);
}
}