http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20318
Marc Glisse changed:
What|Removed |Added
Status|NEW |RESOLVED
CC|
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/
--- 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
-
--- 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
--- 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
--- 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
--- 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
--- 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 ---
--- 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
--- 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
10 matches
Mail list logo