From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,80bc3e0698be468f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!g49g2000cwa.googlegroups.com!not-for-mail From: "Martin Krischik" Newsgroups: comp.lang.ada Subject: Re: Type safety on wikipedia Date: 27 Jan 2006 04:18:47 -0800 Organization: http://groups.google.com Message-ID: <1138364327.207086.250220@g49g2000cwa.googlegroups.com> References: <1138260496.230283.147640@g43g2000cwa.googlegroups.com> <1138283608.433842.76060@z14g2000cwz.googlegroups.com> <87fynaajuh.fsf@mid.deneb.enyo.de> <43DA0545.8030904@mailinator.com> NNTP-Posting-Host: 138.189.120.38 Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: posting.google.com 1138364332 26012 127.0.0.1 (27 Jan 2006 12:18:52 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 27 Jan 2006 12:18:52 +0000 (UTC) In-Reply-To: <43DA0545.8030904@mailinator.com> User-Agent: G2/0.2 X-HTTP-UserAgent: Opera/8.51 (Windows NT 5.0; U; de),gzip(gfe),gzip(gfe) Complaints-To: groups-abuse@google.com Injection-Info: g49g2000cwa.googlegroups.com; posting-host=138.189.120.38; posting-account=2-0LkQwAAAAQMhPSoYwlMiUmi-6lYh44 Xref: g2news1.google.com comp.lang.ada:2676 Date: 2006-01-27T04:18:47-08:00 List-Id: Hello Alex, null pointer are ok - provides they are handled in orderly manner. An exception is orderly manner. i.E. On my old Atari many years ago one could easily access (int*)0 returning some silly value - no MMU was there to prevent that. Now that is not orderly manner. The same holds for out-of-range values. If they are handled in an orderly manner (exception) then it's ok. Ada's mod types are ok as well as the wrap around is properly defined and not "undefined behavior". Martin