[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2013-10-11 Thread glisse at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20318 Marc Glisse changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2013-10-09 Thread glisse at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20318 --- Comment #10 from Marc Glisse --- Author: glisse Date: Wed Oct 9 13:03:13 2013 New Revision: 203316 URL: http://gcc.gnu.org/viewcvs?rev=203316&root=gcc&view=rev Log: 2013-10-09 Marc Glisse PR tree-optimization/20318 gcc/c-family/

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2006-01-09 Thread pinskia at gcc dot gnu dot org
--- Comment #9 from pinskia at gcc dot gnu dot org 2006-01-09 18:34 --- No longer working on this, I am too busy working on the gfortran front-end. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added -

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2005-11-12 Thread pinskia at gcc dot gnu dot org
--- Comment #8 from pinskia at gcc dot gnu dot org 2005-11-12 19:26 --- I have a patch already. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added Ass

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2005-11-11 Thread green at redhat dot com
--- Comment #7 from green at redhat dot com 2005-11-11 23:29 --- This feature would also be useful for java, as we can eliminate certain inlined null pointer checks when we know that a method can't return null. See http://gcc.gnu.org/ml/java/2005-11/msg00124.html -- green at redhat d

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2005-06-03 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-03 14:20 --- Here is a reduced testcase for the SVN code: void *g(); static void *count_and_verify_instructions(int *ninst,const unsigned char *p) { if (p == ((void *)0)) return g(); *ninst = 0; return 0; } voi

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2005-03-04 Thread dnovillo at gcc dot gnu dot org
--- Additional Comments From dnovillo at gcc dot gnu dot org 2005-03-04 18:01 --- Adding some of the early analysis that went on in private mail. > So is there an __attribute__ that we can use to mark that function to > always return non-NULL, so the compiler knows that path is not po

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2005-03-04 Thread dnovillo at redhat dot com
--- Additional Comments From dnovillo at redhat dot com 2005-03-04 17:59 --- Subject: Re: RFE: add attribute to specify that a function never returns NULL giovannibajo at libero dot it wrote: > --- Additional Comments From giovannibajo at libero dot it 2005-03-04 > 17:53 ---

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2005-03-04 Thread giovannibajo at libero dot it
--- Additional Comments From giovannibajo at libero dot it 2005-03-04 17:53 --- I don't object that this feature is indeed needed, but I would still like to see a reduced testcase from Subversion which shows a bogus warning that could be fixed with this attribute. BTW, Diego, once ASS

[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

2005-03-04 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-03-04 15:38 --- Confirmed, PR 19476 is case which depends on this. -- What|Removed |Added CC