http://d.puremagic.com/issues/show_bug.cgi?id=5490


Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@digitalmars.com


--- Comment #10 from Walter Bright <bugzilla@digitalmars.com> 2011-02-11 00:52:59 PST ---
I should note that none of these are actual bugs.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=5490



--- Comment #11 from bearophile_hugs@eml.cc 2011-02-11 03:05:12 PST ---
(In reply to comment #10)
> I should note that none of these are actual bugs.

There is an interesting paper about the topic, "Using Redundancies to Find Errors" by Yichen Xie and Dawson Engle: http://www.stanford.edu/~engler/p401-xie.pdf

The Abstract:

"This paper explores the idea that redundant operations, like type errors,
commonly fag correctness errors. We experimentally test this idea by writing
and applying four redundancy checkers to the Linux operating system, finding
many errors. We then use these errors to demonstrate that redundancies, even
when harmless, strongly correlate with the presence of traditional hard errors
(e.g., null pointer dereferences, unreleased locks). Finally we show that how
flagging redundant operations gives a way to make specifications “fail stop” by
detecting dangerous omissions."

This for example applies to things like unsigned<0.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=5490



--- Comment #12 from Iain Buclaw <ibuclaw@ubuntu.com> 2011-05-06 16:10:49 PDT ---
GCC-4.6 offers two new warning switches to catch redundant code: -Wunused-but-set-parameter and -Wunused-but-set-variable

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------