Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!tektronix!tekmdp!bronze!alm
From: alm@bronze.UUCP (Al Marshall)
Newsgroups: net.lang.c
Subject: lint feature
Message-ID: <695@bronze.UUCP>
Date: Thu, 18-Aug-83 22:48:24 EDT
Article-I.D.: bronze.695
Posted: Thu Aug 18 22:48:24 1983
Date-Received: Fri, 19-Aug-83 12:54:47 EDT
Lines: 20







Can anyone tell me why lint on 4.2 BSD allows  the  fol-
lowing to pass unscathed:

        main()

                {
                int array[10];

                array[10] = 1;
                }



No bounds checking at run time is reasonable, but this... ?