[Tinyos-2-commits] CVS: tinyos-2.x/tools/tinyos/safe tos-ramsize, 1.4, 1.5

[John Regehr]

Update of /cvsroot/tinyos/tinyos-2.x/tools/tinyos/safe
In directory ddv4jf1.ch3.sourceforge.com:/tmp/cvs-serv15199

Modified Files:
	tos-ramsize 
Log Message:
improve readability of error messages a bit

Index: tos-ramsize
===================================================================
RCS file: /cvsroot/tinyos/tinyos-2.x/tools/tinyos/safe/tos-ramsize,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** tos-ramsize	11 Apr 2009 20:51:04 -0000	1.4
--- tos-ramsize	13 Apr 2009 22:15:52 -0000	1.5
***************
*** 51,61 ****
  #
  # 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
  
  ##########################################################################
--- 51,54 ----
***************
*** 1206,1210 ****
  
  	if ($insn eq "ijmp") {
! 	    $diehere{$addr} = "cannot process raw ijmp at $hex_addr";
  	} elsif ($insn eq "ret" || $insn eq "reti") {
  	    # no control flow from here in our model
--- 1199,1203 ----
  
  	if ($insn eq "ijmp") {
! 	    $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
***************
*** 1241,1245 ****
  		    die "tos-ramsize FAIL" if (!defined($target));
  		} else {
! 		    $diehere{$addr} = "cannot process raw icall at $hex_addr";
  		}
  	    }
--- 1234,1238 ----
  		    die "tos-ramsize FAIL" if (!defined($target));
  		} else {
! 		    $diehere{$addr} = "cannot process raw indirect call at $hex_addr";
  		}
  	    }