RE: [avr-gcc-list] Lint and avr-gcc

[Dave Hansen]

From: Jonathan Goldberg <address@hidden>
> Anyone have a good lint configuration file for avr-gcc?

You don't say which lint.

Here's the one I'm using for a current project under Ginpel's PC-lint.

--- begin included file ---
// Compiler definitions
//
c:\lint\lnt\co-gnu3.lnt         // 2.95.3 and later (3.3.1)
-si2                            // Change int and ptr sizes for AVR
-sp2
-d__GNUC__
+rw(inline)

// Header file locations
//
-i"C:\WinAVR\avr\include"
-i"C:\WinAVR\lib\gcc\avr\3.4.1\include"

// Project definitions
-d__AVR_ATmega32__          // Compiler does this from MCU definition
-dOSC_FREQ=12000000         // Make file derives this from HZ
-dDBUG=0
-dHIGH_CAP=0
-dDISABLE_VBATT_TEST=0

// Error reporting suspension
//
// Some GNU macros return a value from bracketed expressions.
-emacro(155,__LPM)

// lint doesn't understand "extern inline"
-esym(14,timer_enable_int)      // in <avr/interrupt.h>

// Interrupt vectors must be extern but aren't referenced
//
-esym(714,__vector_*)
-esym(765,__vector_*)

--- end included file ---

HTH,
  -=Dave