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]

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) 13:59, 10. Jan. 2012 (CET)) 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 12:49, 11. Jan. 2012 (CET)Beantworten