>
> int myVar @ 0xFFE0;
>
Use
#ifdef S_SPLINT_S
#define at(x)
#else
#define at(x) @x
#endif
...
int myVar at(0xFFE0);
>
> [EMAIL PROTECTED]"; //"
This makes no sense: C syntax only allows you to #define identifiers,
and @ is not in the C alphabet.
I'm sure you can write a script in your favourite scripting language
(sed, awk, perl, tcl, python, ...) to change '@ <number>' into
'at(<number>)'.
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
