From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-145125-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 32572 invoked by alias); 2 Jun 2005 12:59:36 -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 32554 invoked by uid 48); 2 Jun 2005 12:59:32 -0000
Date: Thu, 02 Jun 2005 12:59:00 -0000
Message-ID: <20050602125932.32551.qmail@sourceware.org>
From: "arjanv at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20050515142021.21582.arjanv@redhat.com>
References: <20050515142021.21582.arjanv@redhat.com>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug tree-optimization/21582] (optimisation) VRP pass could/should use non-null function attribute
X-Bugzilla-Reason: CC
X-SW-Source: 2005-06/txt/msg00205.txt.bz2
List-Id: <gcc-bugs.sourceware.org>


------- Additional Comments From arjanv at redhat dot com  2005-06-02 12:59 -------
simple test case:

#include <stdio.h>

static inline void do_thing(char *s)
{
        if (s)
                printf("do_thing: %s \n", s);
}

void __attribute__((nonnull)) do_other_thing(char *s)
{
        do_thing(s);
}



-- 


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