From 478f7b6c72eefc377b339fbb3df0e930b78ed896 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Mon, 14 Jul 2008 21:18:01 +0000
Subject: [PATCH] - when printing tarvals, differentiate between tarval_bad and
 tarval_undefined

[r20461]
---
 ir/tv/tv.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/ir/tv/tv.c b/ir/tv/tv.c
index cd4e53e05..fde85a6b8 100644
--- a/ir/tv/tv.c
+++ b/ir/tv/tv.c
@@ -1564,7 +1564,11 @@ int tarval_snprintf(char *buf, size_t len, tarval *tv) {
 	case irms_control_flow:
 	case irms_memory:
 	case irms_auxiliary:
-		return snprintf(buf, len, "<TV_OVERFLOW_BAD>");
+		if (tv == tarval_bad)
+			return snprintf(buf, len, "<TV_BAD>");
+		if (tv == tarval_undefined)
+			return snprintf(buf, len, "<TV_UNDEF>");
+		return snprintf(buf, len, "<TV_???>");
 	}
 
 	return 0;
-- 
2.20.1