This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Couldn't `function(arg[static 3])` imply nonnull and array size in C?
- From: Manuel LÃpez-IbÃÃez <lopezibanez at gmail dot com>
- To: Martin Uecker <"uecker at eecs dot berkeley dot edu">, Campbell Barton <"ideasman42 at gmail dot com">
- Cc: GCC Development <"gcc at gcc dot gnu dot org">
- Date: Mon, 04 May 2015 18:28:49 +0200
- Subject: Re: Couldn't `function(arg[static 3])` imply nonnull and array size in C?
- Authentication-results: sourceware.org; auth=none
- References: <CAEcf3Nzxt=uATHYdYu+aLBoKaB8Wyy=AztF=ZXn-atKpKhVU3Q at mail dot gmail dot com> <20150503224039 dot 28ab0404 at lemur>
On 04/05/15 07:40, Martin Uecker wrote:
BTW: Why is 'nonnull' a function attribute and not something
which can be attached to pointer types?
I think this is something wanted for a long time:
https://gcc.gnu.org/ml/gcc/2006-04/msg00550.html
but nobody has implemented it yet. Perhaps there was some technical hurdle in
the past, probably long gone.
Clang has implemented this variation already sometime ago:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20140203/098497.html
so there is a precedent.
Cheers,
Manuel.