From d4389cc51e69c62aa777f9b4035aef32f5acde14 Mon Sep 17 00:00:00 2001
From: Nguyen Anh Quynh <aquynh@gmail.com>
Date: Sun, 26 Jun 2016 01:03:11 +0800
Subject: [PATCH] x86: fix issue #717

---
 arch/X86/X86ATTInstPrinter.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arch/X86/X86ATTInstPrinter.c b/arch/X86/X86ATTInstPrinter.c
index b00f1224ef..46d97e9781 100644
--- a/arch/X86/X86ATTInstPrinter.c
+++ b/arch/X86/X86ATTInstPrinter.c
@@ -727,6 +727,8 @@ static void printMemReference(MCInst *MI, unsigned Op, SStream *O)
 						SStream_concat(O, "%"PRIu64, DispVal);
 				}
 			}
+		} else {
+			SStream_concat0(O, "0");
 		}
 	}