Diskussion:Splint (Software)

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 12 Jahren von Uncopy in Abschnitt Korrektes Programm ist nicht korrekt
Zur Navigation springen Zur Suche springen

Korrektes Programm ist nicht korrekt

[Quelltext bearbeiten]
Letzter Kommentar: vor 12 Jahren2 Kommentare2 Personen sind an der Diskussion beteiligt

Im C Standart ist nicht festgehalten, dass die Bedingungen in einer While-Schleife von links nach rechts ausgewertet werden müssen. So kann es sein, dass c != EOF geprüft wird, bevor es eingelesen wird! "Korrekt" wäre, wenn es VOR der Schleife eingelesen wird (und natürlich in der Schleife)! (nicht signierter Beitrag von 85.220.141.242 (Diskussion) Diskussion:Splint (Software)#c-85.220.141.242-2012-01-10T12:59:00.000Z-Korrektes Programm ist nicht korrekt11) Beantworten

Möglicherweise hast du das Komma für ein logisches Und gehalten. Für mich sieht es schon korrekt aus - auch wenn ich es mit Sicherheit anders schreiben würde. Grüße --Uncopy Diskussion:Splint (Software)#c-Uncopy-2012-01-11T11:49:00.000Z-85.220.141.242-2012-01-10T12:59:00.000Z11Beantworten
Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Splint_(Software)&oldid=98225244“