... obwohl weder gcc -Wall noch bcpp welche finden und an der gemeldeten Stelle definitiv kein Fehler ist (Anhang).
Die Optionen +trytorecover und -weak helfen leider nicht.
Irgendwelche Vorschläge? :confused:
Druckbare Version
... obwohl weder gcc -Wall noch bcpp welche finden und an der gemeldeten Stelle definitiv kein Fehler ist (Anhang).
Die Optionen +trytorecover und -weak helfen leider nicht.
Irgendwelche Vorschläge? :confused:
Ich hab genau dieselben Erfahrungen mit splint gemacht wie du: Das Ding produziert gerne Grundlos mal einen Parseerror.
Habs dann sein lassen weil das betreffende Programma uch so lief. ;)
Ich glaube fast er mag das "or" nicht und hätte lieber ein "||". Ist "or" überhaupt offiziell? Ich kenne nur || und | (bitweise).Zitat:
However, Splint doesn't yet support all C99 extensions so there are some legitimate C programs that will need to be modified.
MfG Peschmä
or, and usw. gibt's schon lange. Das steht in iso646.h, das im ANSI-C drinn ist.Zitat:
Zitat von peschmae
Das ist besser, weil man sonst leicht logisches und bitweises oder verwechselt; seit mir sowas passierte, nehme ich nur das, also or und bitor, and und bitand usw..
Hm stimmt. Hat noch was für sich, eigentlich. Naja, auf jeden Fall kommt er mit dem || weiterZitat:
Zitat von nobody0
MfG Peschmä
Naja, dann lasse ich das mit splint erstmal, denn von or auf || zurück zu wechseln wäre ein echter Rückschritt und Quatsch, da in iso646.h dazu nur eine Zeile steht:
#define or ||
Im ANSI-C ist das mindestens 6 Jahre lang.
Hallo,
wollte auch mal splint über meine kleinen C-Programme laufen lassen.
Splint hängt sich bei mir immer bei externen libs auf (z.b. gtk/gdk/libnet/inet).
sieht in etwa so aus:
Ich habe verschiedene Flags wie +unixlib, +posixlib etc. durchprobiert. Diese Flags verschieben den Fehler allerdings nur zu einer anderen Stelle.Code:/usr/include/netinet/in_systm.h:35:26: Parse Error:
Suspect missing struct or union keyword: u_int16_t :
Wie bekomme ich splint denn zum laufen?
Danke
Ich habe es aufgegeben und verwende stattdessen Prettyprinter (bcpp; bringt besser lesbaren Code, in den einige Fehler deutlicher werden) und aktiviere alle Warnungen beim Compiler (Option -Wall beim gcc).