H
Helmut Schellong
Guest
On 12/21/2022 11:00, Thomas Prufer wrote:
Leicht schon:
static void *memset1(void *d0, int v0, size_t n)
{
byte *d, *de;
if (n&&d0) { d=d0; de=d+n;
do *d= (byte)v0; while (++d < de);
}
return d0;
}
Daß die vorstehende Funktion fehlerfrei ist, ist leicht und schnell feststellbar.
Das Gleichnis hinkt.
Eine Anzahl Fehler 0..X können auf natürliche Weise vorhanden sein.
Eine Anzahl Beweise >1 normalerweise nicht.
--
Mit freundlichen Grüßen
Helmut Schellong var@schellong.biz
http://www.schellong.de/c.htm http://www.schellong.de/c2x.htm http://www.schellong.de/c_padding_bits.htm
http://www.schellong.de/htm/bishmnk.htm http://www.schellong.de/htm/rpar.bish.html http://www.schellong.de/htm/sieger.bish.html
http://www.schellong.de/htm/audio_proj.htm http://www.schellong.de/htm/audio_unsinn.htm http://www.schellong.de/htm/tuner.htm
http://www.schellong.de/htm/string.htm http://www.schellong.de/htm/string.c.html http://www.schellong.de/htm/deutsche_bahn.htm
http://www.schellong.de/htm/schaltungen.htm http://www.schellong.de/htm/math87.htm http://www.schellong.de/htm/dragon.c.html
On Tue, 20 Dec 2022 23:19:44 +0100, Helmut Schellong <rip@schellong.biz> wrote:
On 12/20/2022 21:42, Thomas Prufer wrote:
On Tue, 20 Dec 2022 15:35:04 +0100, Helmut Schellong <rip@schellong.biz> wrote:
Die meisten Library-Funktionen sind garantiert fehlerfrei.
Das kann ich leicht per Stichproben beweisen.
\"per Stichproben beweisen\"? Echt?
Hatten wir diese Diskussion nicht schonmal?
Dann modifiziere ich eben mit \'mit an Sicherheit grenzender Wahrscheinlichkeit feststellen.\'.
Manchmal bin ich auch schreibfaul.
Okay: also weder \"leicht\" noch \"beweisen\".
Leicht schon:
static void *memset1(void *d0, int v0, size_t n)
{
byte *d, *de;
if (n&&d0) { d=d0; de=d+n;
do *d= (byte)v0; while (++d < de);
}
return d0;
}
Daß die vorstehende Funktion fehlerfrei ist, ist leicht und schnell feststellbar.
Denn:
\"Es kann gar nichts dazwischen geben!
Es gibt entweder 0 Beweise oder 1 Bewesei oder 2 Beweise oder 3 Beweise oder ...
Folglich gibt es zwischen \'0 Beweise\' und \'1 oder mehr Beweise\' _nichts_.
Was denn auch?
Nun verstanden?\"
Das Gleichnis hinkt.
Eine Anzahl Fehler 0..X können auf natürliche Weise vorhanden sein.
Eine Anzahl Beweise >1 normalerweise nicht.
--
Mit freundlichen Grüßen
Helmut Schellong var@schellong.biz
http://www.schellong.de/c.htm http://www.schellong.de/c2x.htm http://www.schellong.de/c_padding_bits.htm
http://www.schellong.de/htm/bishmnk.htm http://www.schellong.de/htm/rpar.bish.html http://www.schellong.de/htm/sieger.bish.html
http://www.schellong.de/htm/audio_proj.htm http://www.schellong.de/htm/audio_unsinn.htm http://www.schellong.de/htm/tuner.htm
http://www.schellong.de/htm/string.htm http://www.schellong.de/htm/string.c.html http://www.schellong.de/htm/deutsche_bahn.htm
http://www.schellong.de/htm/schaltungen.htm http://www.schellong.de/htm/math87.htm http://www.schellong.de/htm/dragon.c.html