This is the mail archive of the
glibc-bugs@sourceware.org
mailing list for the glibc project.
[Bug libc/15410] Coverity complains about if (true || true) in bits/stdio2.h
- From: "carlos at redhat dot com" <sourceware-bugzilla at sourceware dot org>
- To: glibc-bugs at sourceware dot org
- Date: Sat, 27 Apr 2013 17:34:33 +0000
- Subject: [Bug libc/15410] Coverity complains about if (true || true) in bits/stdio2.h
- Auto-submitted: auto-generated
- References: <bug-15410-131 at http dot sourceware dot org/bugzilla/>
http://sourceware.org/bugzilla/show_bug.cgi?id=15410
Carlos O'Donell <carlos at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |WAITING
CC| |carlos at redhat dot com
--- Comment #1 from Carlos O'Donell <carlos at redhat dot com> 2013-04-27 17:34:33 UTC ---
The right solution is for coverity to have whitelist of things in system
headers which it can safely ignore. I'm surprised that it doesn't already have
a glibc whitelist. That way it doesn't impact the size of the on-disk header
for any other users.
The free software user inside of me is ardently opposed to working around
proprietary software issues by increasing the on-disk size of user headers,
even if only by 35 bytes.
The practical developer side of me says that this isn't a terrible change, but
sets the precedent that the markers are going to be maintained.
In summary:
I'm willing to allow coverity markers in the source if you, Dan Kegel, or
someone else, is willing to step up as the maintainer of those markers, and run
coverity on each official release to ensure the markers are correct?
Do you accept?
--
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.