Re: Certified C compilers for safety-critical embedded systems

From: Bob Stephens (stephensdigital_at_earthlink.net)
Date: 12/30/03 

Date: Tue, 30 Dec 2003 19:12:37 GMT

On Tue, 30 Dec 2003 18:36:13 +0000, Chris Hills wrote:

> In article <bssflk$10el5$1@ID-77047.news.uni-berlin.de>, Dmitry A.
> Kazakov <mailbox@dmitry-kazakov.de> writes
>>Chris Hills wrote:
>>
>>> In article <1731094.1f7Irsyk1h@linux1.krischik.com>, Martin Krischik
>>> <krischik@users.sourceforge.net> writes
>>>>
>>>>I had my array start at 1 not 0. In C all numbers start with 0 but in the
>>>>real world they usualy start with 1.
>>>
>>> Interesting point. Apparently 0 is the first positive integer.
>>
>>Zero is the first natural number, positive numbers do not include zero.
> Is that in maths, computing or philosophy?
>
>>> Everything starts at 0. Otherwise things would start with 1 or -1 there
>>> would be nothing (not 0) between them :-)
>>> Zero is a valid number.
>>All numbers are valid. What could be an "invalid" number?
>
> My phone bill :-)
>
>
GNP
Consumer Satisfaction Index
any election year stat
women's ages
etc etc ...

Relevant Pages

  • Re: [9fans] Fwd: Reading from FS with inaccurate file sizes?
    ... When you cat>> file and file has zero length in stat, ... then the write happens at an offset of zero. ... This is perhaps the only time that the stat size should ... do not map one-to-one with FUSE file handles. ...
    (comp.os.plan9)
  • Re: How to detect an empty file?
    ... how are you don´t want to use a beatiful way (stat) try it: ... x = lseek (pFile, 0, SEEK_END); ... and test if x is igual top zero ou -1. ...
    (comp.lang.c)
  • Re: 2008 Bush Bumper Stickers
    ... with this type nonsense that has zero to do with this election. ... pony" and attacking liberals is its one-trick. ...
    (rec.outdoors.rv-travel)
  • Re: How to check if same partition
    ... Michel Bardiaux wrote: ... I also tried plain stat, here st_dev is not zero, but still it is the same for both. ... I'll have a look at the source code to see what "Device" is exactly. ...
    (comp.os.linux.development.apps)
  • Re: [patch 12/12] fuse: add blksize field to fuse_attr
    ... Allow the userspace filesystem to supply a blksize value to be ... returned by stat() and friends. ... If the field is zero, ...
    (Linux-Kernel)