From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-95994-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 22409 invoked by alias); 19 May 2004 13:32:00 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 22397 invoked by uid 48); 19 May 2004 13:32:00 -0000
Date: Thu, 20 May 2004 13:25:00 -0000
Message-ID: <20040519133200.22396.qmail@sourceware.org>
From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20030914164017.12277.tilps@hotmail.com>
References: <20030914164017.12277.tilps@hotmail.com>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug c++/12277] Warn on dynamic casts with known NULL results.
X-Bugzilla-Reason: CC
X-SW-Source: 2004-05/txt/msg02142.txt.bz2
List-Id: <gcc-bugs.sourceware.org>


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-19 13:31 -------
And here is an example:
struct Base 
  { 
    virtual ~Base () {} 
  }; 
 
  class Derived : Base 
  { 
    friend int main (); 
  }; 
 
  #include <cassert> 
 
  int main () 
  { 
    Base * p = new Derived; 
 
    assert(dynamic_cast<Derived *>(p)); // fails 
  } 

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12277