Diskussion:Splint (Software)
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 11. Januar 2012 um 11:49 Uhr durch imported>Uncopy(173738) (→Korrektes Programm ist nicht korrekt: Doch, ist es.).
Korrektes Programm ist nicht korrekt
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)
