Prof A Olowofoyeku (The African Chief) wrote:
On 25 Sep 2004 at 16:32, Frank Heckenbach wrote:
Prof A Olowofoyeku (The African Chief) wrote:
Not necessarily. I have seen so many redundant assignments that generate hints that do not hide any bugs (such as those in my example). I am yet to see only a generated hint in a situation where there is a possible bug (in the sense of the program possibly behaving incorrectly, crashing or otherwise behaving unexpectedly).
Not using a parameter usually indicates a bug
Agreed.
So these should in general not be hints, I conclude.
Perhaps. I would personally prefer hints here, since the only times that I have come across this in my own code have been when using callbacks or when experimenting. Hints are sufficient to let you see the problem, and are less problematic when you regularly use -Werror.
Sure -- when experimenting I sometimes turn off `-Werror' myself ...
(For callbacks etc., once we have an accepted mechanism, such as `Discard', one can just as well add it immediately.)
Adding hints would probably be some work (a new "infrastructure" and various checks and stuff we now have for errors and warnings). I'm not conviced this is justified ...
Frank