Splint und System-Header

Gast #3554573
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

Antwort schreiben

Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt. Bitte hier nur auf die ursprüngliche Frage antworten, für neue Fragen einen neuen Beitrag erstellen.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.