Diskussion:Splint (Software)
Letzter Kommentar: vor 12 Jahren von Uncopy in Abschnitt Korrektes Programm ist nicht korrekt
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))
- 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)