verifier: Check the result mode of Div and Mod.

[libfirm] / ir / ir / irargs.c

diff --git a/ir/ir/irargs.c b/ir/ir/irargs.c
index eb0ea21..c0c49cd 100644 (file)
--- a/ir/ir/irargs.c
+++ b/ir/ir/irargs.c
@@ -229,7 +229,7 @@ static int firm_emit(lc_appendable_t *app,
        }
 
        if (occ->flag_plus)
-               strncat(buf, add, sizeof(buf)-1);
+               strncat(buf, add, sizeof(buf)-strlen(buf)-1);
 
        return lc_arg_append(app, occ, buf, strlen(buf));
 #undef A