From 80e5ff39ff7dbfe901adf44af4e5c36205ef63bc Mon Sep 17 00:00:00 2001
From: regehr <regehr>
Date: Mon, 13 Apr 2009 22:15:52 +0000
Subject: [PATCH] improve readability of error messages a bit

---
 tools/tinyos/safe/tos-ramsize | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/tools/tinyos/safe/tos-ramsize b/tools/tinyos/safe/tos-ramsize
index 06344845..d0f549ba 100755
--- a/tools/tinyos/safe/tos-ramsize
+++ b/tools/tinyos/safe/tos-ramsize
@@ -50,13 +50,6 @@ use Getopt::Long;
 # support TOSThreads
 #
 # support msp430
-#
-# enumerate soundness requirements
-#   stores to SP are direct and use "out"
-#   no reentrant interrupts
-#   outs to SREG are for ending atomic blocks, seis are enabling interrupts for real
-#   return instructions go back to their callers' successors
-#   special-cases are correct
 
 ##########################################################################
 
@@ -1205,7 +1198,7 @@ sub make_fine_grain_cfg () {
 	}
 
 	if ($insn eq "ijmp") {
-	    $diehere{$addr} = "cannot process raw ijmp at $hex_addr";
+	    $diehere{$addr} = "cannot process raw indirect jump at $hex_addr";
 	} elsif ($insn eq "ret" || $insn eq "reti") {
 	    # no control flow from here in our model
 	} elsif (is_branch ($addr) || is_skip ($addr) || is_jmp ($addr)) {
@@ -1240,7 +1233,7 @@ sub make_fine_grain_cfg () {
 		    $target = $label_to_addr{$target_func};
 		    die "tos-ramsize FAIL" if (!defined($target));
 		} else {
-		    $diehere{$addr} = "cannot process raw icall at $hex_addr";
+		    $diehere{$addr} = "cannot process raw indirect call at $hex_addr";
 		}
 	    }
 	    if (defined($target)) {
-- 
2.39.2