"Make safe" does not work with the CC2420 radio chip

[GoogleCodeExporter]

What steps will reproduce the problem?
1. cd apps/RadioCountToLeds; 
2. make telosb safe

What is the expected output? What do you see instead?

Expected:

Successful compilation of the code

Actual:

/opt/tinyos-main-read-only/apps/RadioCountToLeds$ make telosb safe

mkdir -p build/telosb
javac RadioCountMsg.java
    compiling RadioCountToLedsAppC to a telosb binary
ncc -o build/telosb/main.exe -DSAFE_TINYOS 
-I/opt/tinyos-main-read-only/tos/lib/safe -fnesc-deputy 
-fnesc-deputy-args='-I/opt/tinyos-main-read-only/tos/lib/safe/include 
--FLIDs=build/telosb/flids.txt --envmachine -DSAFE_TINYOS --nolib ' -Os -O 
-mdisable-hwmul -fnesc-separator=__ -Wall -Wshadow -Wnesc-all -target=telosb 
-fnesc-cfile=build/telosb/app.c -board= -DDEFINED_TOS_AM_GROUP=0x22 
-DIDENT_APPNAME=\"RadioCountToLed\" -DIDENT_USERNAME=\"user\" 
-DIDENT_HOSTNAME=\"pc\" -DIDENT_USERHASH=0xd9ffb6daL 
-DIDENT_TIMESTAMP=0x4e369674L -DIDENT_UIDHASH=0x5fe7ddecL  
RadioCountToLedsAppC.nc -lm 
/opt/tinyos-main-read-only/tos/chips/cc2420/lpl/DummyLplC.nc:39:2: warning: 
#warning "*** LOW POWER COMMUNICATIONS DISABLED ***"
/opt/tinyos-main-read-only/tos/chips/cc2420/CC2420ActiveMessageP.nc:72: 
Warning: Type "struct message_t *" in global 
"CC2420ActiveMessageP__pending_message" needs a bound annotation.

/opt/tinyos-main-read-only/tos/chips/cc2420/interfaces/CC2420Packet.nc:75: 
Warning: Type "struct message_t *" in formal "p_msg" of 
CC2420PacketP__CC2420Packet__getNetwork needs a bound annotation.

/opt/tinyos-main-read-only/tos/chips/cc2420/interfaces/CC2420Packet.nc:75: 
Warning: Type "struct message_t *" in formal "p_msg" of 
CC2420TinyosNetworkP__CC2420Packet__getNetwork needs a bound annotation.

/opt/tinyos-main-read-only/tos/chips/cc2420/interfaces/CC2420Packet.nc:77: 
Warning: Type "struct message_t *" in formal "p_msg" of 
CC2420PacketP__CC2420Packet__setNetwork needs a bound annotation.

/opt/tinyos-main-read-only/tos/chips/cc2420/interfaces/CC2420Packet.nc:77: 
Warning: Type "struct message_t *" in formal "p_msg" of 
CC2420TinyosNetworkP__CC2420Packet__setNetwork needs a bound annotation.

/opt/tinyos-main-read-only/tos/chips/cc2420/packet/CC2420PacketP.nc:90: 
Warning: Type "struct message_t *" in formal "msg" of CC2420PacketP__getNetwork 
needs a bound annotation.

/opt/tinyos-main-read-only/tos/chips/cc2420/unique/UniqueReceiveP.nc:83: 
Warning: Type "struct message_t *" in formal "msg" of 
UniqueReceiveP__getSourceKey needs a bound annotation.

/opt/tinyos-main-read-only/tos/chips/cc2420/receive/CC2420ReceiveP.nc:838: 
Error: Assertion will always fail in upper bound coercion:
  & header->dest == 0 || (struct ieee_eui64 * SAFE  )(& header->dest) + 1 <= & header->dest + 1

make: *** [exe0] Error 1

What version of the product are you using? On what operating system?

tinyos-main r5660 and ubuntu 11.10

Original issue reported on code.google.com by Ross.Wil...@gmail.com on 1 Aug 2011 at 12:13

[GoogleCodeExporter]

Looks like safe annotations didn't make their way over with BLIP support. 
Stephen, you can chat with John Regehr if you need some guidance.

Original comment by philip.l...@gmail.com on 2 Aug 2011 at 8:12

[GoogleCodeExporter]

Annotations added in @5697.  Will check with deputy experts to verify the fix.

Original comment by sdh...@gmail.com on 23 Aug 2011 at 1:32

• Changed state: Fixed