AVR Freaks

#!/bin/sh
# splint is a static code checker
[ -x /usr/bin/splint ] || exit 0

INCLUDES="-Iinclude -Iports/linux"
SETTINGS="-castfcnptr -fullinitblock -initallelements -weak +posixlib"

if [ ! -x .splintrc ]
then
  echo ${INCLUDES} ${SETTINGS} > .splintrc
fi

directory=${1-`pwd`}/src
for filename in $( find $directory -name '*.c' )
do
  echo splinting ${filename}
  /usr/bin/splint ${filename}
done

-sysdirs C:\WinAVR~1\avr\include;C:\WinAVR~1\lib\gcc\avr\4.2.2\include;C:\WinAVR~1\avr\include\avr;C:\WinAVR~1\avr\include\compat;C:\WinAVR~1\avr\include\util

-IC:\WinAVR~1\avr\include

-IC:\WinAVR~1\avr\include\avr

-IC:\WinAVR~1\avr\include\compat

-IC:\WinAVR~1\avr\include\util

-IC:\WinAVR~1\lib\gcc\avr\4.2.2\include

-I../../include

-I.

-castfcnptr

-fullinitblock

-weak

-D__AVR_ATmega168__

-D__GNUC__

#faq 14
I develop code on an embedded system with a compiler that uses nonstandard key words and data types. I would like to run Splint on my code but these nonstandard keywords cause parse errors. What should I do?

You can often use -D to solve this problem.

If you just want to ignore a keyword, you can add -Dnonstandardkeyword= to make the preprocessor eliminate the keyword, where nonstandardkeyword is the name of the keyword. Similarly, you can use -Dspecialtype=int to make a custom type parse as an int.

> Sfr is a command used my the compiler for registers in the Atmel chip that we are
> using.? How do I prevent these errors about Atmel registers from occurring?

My crystal ball is broken. What does the offending line of code actually look like?

The most likely fix is to use an object-style macro to define away the "sfr" token, and protect it with a compilation guard so it only takes effect when running Splint. For example:

#if defined S_SPLINT_S
#undef sfr
#define sfr
#endif

Or

As far as I know the Keil C51 Compiler, the SFR declarations looks
like:

sfr P0 = 0x80;

That is "#define sfr unsigned char" should do the trick.

HTH,

Ludolf

'''''''''''''''''''''

I think you need to conditionally define sfr (and sbit and eventually
other stuff).

You can do it in splint.rc or in a specific .h file.

----

First solution (splint.rc):

Add the following definitions in splint.rc file:

-Dsfr=volatile unsigned char
-Dsbit=volatile bool

----

Second solution (.h file):

Create a file (for example: splint.h) that contains:

#ifdef S_SPLINT_S
#define sfr volatile unsigned char
#define sbit volatile bool
#endif

Then, include this file

'''''''''''''''''''''''''''''''''''''

> That is "#define sfr unsigned char" should do the trick.

In the (few) projects checked by Splint we cheat by mocking the
microcontroller specific stuff:

#ifdef S_SPLINT_S
#include "splint.h"
#else
#include
#endif

This is from a module for an AVR compiled by avr-gcc which uses memory
placement modifiers and special functions.

The file "splint.h" contains all the #define's and such to make the
source "splintable", for example:

/* We don't want to annotate each #define */
/*@-macroconstdecl@*/
/*@-macrofcndecl@*/
/*@-macroparams@*/

/* Constants starting with E are reserved */
/*@-isoreserved@*/

/* Stuff of pgmspace.h */
/*@notfunction@*/
#define PROGMEM /* empty */
/*@notfunction@*/
#define fputs_P fputs
/*@notfunction@*/
#define pgm_read_byte(address) (*(address))

/* EEPROM bits and registers */
#define E2END 0
#define EECR (*(unsigned char *)0)
#define EEMPE 0
#define EEPE 0
#define EERE 0
#define EEAR (*(unsigned short *)0)
#define EEDR (*(unsigned char *)0)

/*@=isoreserved@*/
/*@=macroparams@*/
/*@=macrofcndecl@*/
/*@=macroconstdecl@*/

ISR(/*@unused@*/USART_RX_vect )
{
	
....

	/*@ -whileempty @*/while( (UCSRA & USART_UDRE_MASK ) == 0); 

Nice idea but sadly not the solution:

(I prefer /X on DIR rather than starting a whole new command prompt just to get the 8.3 name)

EDIT: Just a minute I see in your edit "-larch_path" whereas I used (because the manual told me) "-larchpath"

To make flag names more readable, the space, dash (-), and underscore (_) characters may be used inside a flag name. Hence, globals-implies-modifies-nothing, glob_imps_­mods­nothing and globsimpmodsnothing are equivalent.

Mmmm. Yellow text on a white background! Nice!