Bug#576501: libc6-dev: Overeager nonnull attributes in function prototypes
Package: libc6-dev
Version: 2.10.2-6
Severity: normal
I just started playing with clang's static analyzer. It nicely warns
whenever a function parameter that has been marked with nonnull attribute
gets a NULL as parameter. The problem is that there are several functions
where it's actually valid to give it a NULL pointer, as long as the size
parameter is zero. For example these are valid:
- memcpy(dest, src=NULL, size=0)
- same for memmove()
- qsort(base=NULL, nmemb=0, ..)
- lots of others too, but the above ones are what I mostly care about.
I guess the question is if these nonnulls ever help programmers, or if
they're there just because "it looks nice", but mainly give false positive
warnings.
Here's an example of what type of code triggered it for me:
void foo(const char *src)
{
char *dest;
unsigned int len;
len = src == NULL ? 0 : strlen(src);
dest = malloc(len + 2);
if (dest == NULL) return;
dest[0] = '>';
memcpy(dest + 1, src, len);
dest[len] = '\0';
}
So src=NULL, but len=0 so it doesn't matter. Adding an extra if check there
would just make the code uglier.
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-rc3-00056-g9dc251d-dirty (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages libc6-dev depends on:
ii libc-dev-bin 2.10.2-6 Embedded GNU C Library: Developmen
ii libc6 2.10.2-6 Embedded GNU C Library: Shared lib
ii linux-libc-dev2.6.32-5 Linux support headers for userspac
Versions of packages libc6-dev recommends:
ii bcc [c-compiler] 0.16.17-3 16-bit x86 C compiler
ii gcc [c-compiler] 4:4.4.3-1 The GNU C compiler
ii gcc-3.3 [c-compiler] 1:3.3.6-15 The GNU C compiler
ii gcc-3.4 [c-compiler] 3.4.6-10 The GNU C compiler
ii gcc-4.1 [c-compiler] 4.1.2-27 The GNU C compiler
ii gcc-4.2 [c-compiler] 4.2.4-6The GNU C compiler
ii gcc-4.3 [c-compiler] 4.3.4-6The GNU C compiler
ii gcc-4.4 [c-compiler] 4.4.3-5The GNU C compiler
Versions of packages libc6-dev suggests:
pn glibc-doc (no description available)
ii manpages-dev 3.23-1 Manual pages about using GNU/Linux
-- debconf-show failed
--
To UNSUBSCRIBE, email to debian-glibc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100405071202.7776.39611.report...@hurina
Processing of tzdata_2010h-1_all.changes
tzdata_2010h-1_all.changes uploaded successfully to localhost along with the files: tzdata_2010h-1.dsc tzdata_2010h.orig.tar.gz tzdata_2010h-1.debian.tar.gz tzdata_2010h-1_all.deb tzdata-java_2010h-1_all.deb Greetings, Your Debian queue daemon (running on host ries.debian.org) -- To UNSUBSCRIBE, email to debian-glibc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1nynzw-0001cf...@ries.debian.org
r4236 - tzdata/trunk/debian
Author: schizo Date: 2010-04-05 15:13:59 + (Mon, 05 Apr 2010) New Revision: 4236 Modified: tzdata/trunk/debian/changelog Log: 2010h-1 Modified: tzdata/trunk/debian/changelog === --- tzdata/trunk/debian/changelog 2010-04-04 16:42:08 UTC (rev 4235) +++ tzdata/trunk/debian/changelog 2010-04-05 15:13:59 UTC (rev 4236) @@ -1,3 +1,9 @@ +tzdata (2010h-1) unstable; urgency=low + + * New upstream release. + + -- Clint Adams Mon, 05 Apr 2010 11:03:59 -0400 + tzdata (2010g-1) unstable; urgency=low * New upstream release. -- To UNSUBSCRIBE, email to debian-glibc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1nyo01-0003uq...@alioth.debian.org
r4237 - tzdata/tags
Author: schizo Date: 2010-04-05 15:14:25 + (Mon, 05 Apr 2010) New Revision: 4237 Added: tzdata/tags/2010h-1/ Log: tag 2010h-1 -- To UNSUBSCRIBE, email to debian-glibc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1nyo0s-0003fj...@alioth.debian.org
tzdata_2010h-1_all.changes ACCEPTED
Accepted: tzdata-java_2010h-1_all.deb to main/t/tzdata/tzdata-java_2010h-1_all.deb tzdata_2010h-1.debian.tar.gz to main/t/tzdata/tzdata_2010h-1.debian.tar.gz tzdata_2010h-1.dsc to main/t/tzdata/tzdata_2010h-1.dsc tzdata_2010h-1_all.deb to main/t/tzdata/tzdata_2010h-1_all.deb tzdata_2010h.orig.tar.gz to main/t/tzdata/tzdata_2010h.orig.tar.gz Override entries for your package: tzdata-java_2010h-1_all.deb - optional java tzdata_2010h-1.dsc - source libs tzdata_2010h-1_all.deb - required libs Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-glibc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1nypws-00039s...@ries.debian.org
[bts-link] source package eglibc
# # bts-link upstream status pull for source package eglibc # see http://lists.debian.org/debian-devel-announce/2006/05/msg1.html # user bts-link-upstr...@lists.alioth.debian.org # remote status report for #555168 (http://bugs.debian.org/555168) # * http://sourceware.org/bugzilla/show_bug.cgi?id=11213 # * remote status changed: NEW -> SUSPENDED usertags 555168 - status-NEW usertags 555168 + status-SUSPENDED thanks -- To UNSUBSCRIBE, email to debian-glibc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100405172128.30152.36340.btsl...@merkel.debian.org
