From owner-freebsd-hackers  Mon Jul  3 08:59:15 1995
Return-Path: hackers-owner
Received: (from majordom@localhost)
          by freefall.cdrom.com (8.6.10/8.6.6) id IAA10791
          for hackers-outgoing; Mon, 3 Jul 1995 08:59:15 -0700
Received: from UUCP-GW.CC.UH.EDU (root@UUCP-GW.CC.UH.EDU [129.7.1.11])
          by freefall.cdrom.com (8.6.10/8.6.6) with SMTP id IAA10781
          for <hackers@freebsd.org>; Mon, 3 Jul 1995 08:59:12 -0700
Received: from Taronga.COM by UUCP-GW.CC.UH.EDU with UUCP id AA10757
  (5.67a/IDA-1.5); Mon, 3 Jul 1995 10:46:51 -0500
Received: by bonkers.taronga.com (smail2.5p) id AA12261; 3 Jul 95 10:38:26 CDT (Mon)
Received: (from peter@localhost) by bonkers.taronga.com (8.6.11/8.6.6) id KAA12258; Mon, 3 Jul 1995 10:38:25 -0500
From: Peter da Silva <peter@bonkers.taronga.com>
Message-Id: <199507031538.KAA12258@bonkers.taronga.com>
Subject: Re: gcc-2.6.3 with bounds checking
To: gena@NetVision.net.il (Gennady Sorokopud)
Date: Mon, 3 Jul 1995 10:38:25 -0500 (CDT)
Cc: hackers@freebsd.org
In-Reply-To: <XFMail.950703125210.gena@NetVision.net.il> from "Gennady Sorokopud" at Jul 3, 95 12:59:17 pm
X-Mailer: ELM [version 2.4 PL23]
Content-Type: text
Content-Length: 322       
Sender: hackers-owner@freebsd.org
Precedence: bulk

> 1) it's too strict :-(
>   For example it reports "reference to undefined pointer"
> when you try something like: if (!ptr) ...
> and ptr was not initialized before (i know, it's a bad style,
> but not an error)

Um, if the pointer was in fact not initialized (either to BSS or explicitly)
before use, it *is* an error.