This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Optimize callers using nonnull attribute
- From: Marc Glisse <marc dot glisse at inria dot fr>
- To: Jakub Jelinek <jakub at redhat dot com>
- Cc: Richard Biener <richard dot guenther at gmail dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 11 Oct 2013 15:10:32 +0200 (CEST)
- Subject: Re: Optimize callers using nonnull attribute
- Authentication-results: sourceware.org; auth=none
- References: <alpine dot DEB dot 2 dot 02 dot 1310070016540 dot 15069 at stedding dot saclay dot inria dot fr> <CAFiYyc3o9ZYNWgfNOpL6VjD84doj6Mh81USALdRF1N967M5iOA at mail dot gmail dot com> <alpine dot DEB dot 2 dot 10 dot 1310071517260 dot 21427 at stedding dot saclay dot inria dot fr> <20131011125022 dot GR30970 at tucnak dot zalov dot cz>
On Fri, 11 Oct 2013, Jakub Jelinek wrote:
On Mon, Oct 07, 2013 at 03:52:25PM +0200, Marc Glisse wrote:
2013-10-08 Marc Glisse <marc.glisse@inria.fr>
PR tree-optimization/58480
gcc/
* tree-vrp.c (infer_nonnull_range): New function.
(infer_value_range): Call infer_nonnull_range.
This broke whole bunch of OpenMP tests. Internal calls
have NULL gimple_call_fntype.
Ah, in a first version I was checking (fntype != 0), but since nothing
complained when I removed it, I assumed it could never be 0...
Fixed thusly, committed as obvious to trunk.
Thanks.
OT, do you plan to define ATTRIBUTE_RETURNS_NONNULL for
GCC_VERSION >= 4009 in ansidecl.h and use it on the various xmalloc
etc. prototypes?
I was planning to at least have a look at some point. I can do that now.
--
Marc Glisse