commit 63a12d5a819f6ddab0f29069fd6d46d0bfea25f1
author Google AutoFuzz Team <security-tps@google.com> Thu Mar 22 18:20:16 2018 -0700
committer GitHub <noreply@github.com> Thu Mar 22 18:20:16 2018 -0700
tree 813f40a400972726257868c238811dc9f48eceb8
parent d158fe8d705fe05aa9f46024ad7c2e1e37a26f04

Update SystemZInstPrinter.c

Updating fix from commit 5b55115c425b4b08225ea7814070da793d442109

arch/SystemZ/SystemZInstPrinter.c

diff --git a/arch/SystemZ/SystemZInstPrinter.c b/arch/SystemZ/SystemZInstPrinter.c
index b27ae3f..bb1cce0 100644
--- a/arch/SystemZ/SystemZInstPrinter.c
+++ b/arch/SystemZ/SystemZInstPrinter.c
@@ -19,6 +19,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+#include <limits.h>
 #include <platform.h>
 
 #include "SystemZInstPrinter.h"
@@ -295,6 +296,10 @@
 
 	if (MCOperand_isImm(MO)) {
 		imm = (int32_t)MCOperand_getImm(MO);
+		if (imm == INT_MIN) {
+                   printf("ERROR: invalid Imm value\n");
+                   return;
+                }
 		if (imm >= 0) {
 			if (imm > HEX_THRESHOLD)
 				SStream_concat(O, "0x%x", imm);