This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: What is the expected behavior of attribute nonnull for C++

From: Mark Mitchell <mark at codesourcery dot com>
To: Steven Bosscher <stevenb dot gcc at gmail dot com>
Cc: gcc at gcc dot gnu dot org
Date: Fri, 28 Apr 2006 14:40:02 -0700
Subject: Re: What is the expected behavior of attribute nonnull for C++
References: <200604290221.43618.steven@gcc.gnu.org> <4452865D.6080703@codesourcery.com> <571f6b510604281436w1fdde2d1vc8dd5f26860d2425@mail.gmail.com>

Steven Bosscher wrote:

> That is why I was looking at this. We have http://gcc.gnu.org/PR27336,
> and part of the fix could be to make the 'this' pointer always
> non-NULL.  So far I haven't found anyone who can think of a situation
> where 'this' can be NULL...

It can't be NULL.  (There are ways to break your program so that it is
in fact NULL, but your program already has undefined behavior at that
point.)

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713

References:
- What is the expected behavior of attribute nonnull for C++
  - From: Steven Bosscher
- Re: What is the expected behavior of attribute nonnull for C++
  - From: Mark Mitchell
- Re: What is the expected behavior of attribute nonnull for C++
  - From: Steven Bosscher

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]