Forum: Mikrocontroller und Digitale Elektronik Splint und System-Header


von Robert (Gast)


Lesenswert?

Hallo,

ich habe eine Toolchain für STM32, Eclipse, arm-none-eabi und openocd 
aufgesetzt und die main.c lässt die LED's blinken.

Als nächstes habe ich Splint gestartet und habe Fehler in der core_cm3.h 
erhalten (parse errors). Diese Fehler hängen offenbar mit __INLINE 
zusammen.

Nachdem ich die entsprechenden Funktionen (immerhin 20 bis 30) mit
#ifndef S_SPLINT_S
...
#endif
ausmaskiert habe, meldet Splint keine Fehler/Warnungen mehr. So weit so 
gut.

Meine Frage lautet: Ist das ein übliches Vorgehen oder sollte ich besser 
das __INLINE bei Splint bekannt machen, und wie mache ich das dann?

Gruß Robert

Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.