|
From: Florian K. <br...@ac...> - 2012-09-02 18:44:59
|
I would like to propose that we make the following changes related to
emulation warnings:
(1) Issue emulation warnings by default. Currently, we don't do that
(2) Issue a particular warning only once. Currently, we issue it up
to three times.
The rationale is, that warnings are note-worthy so people should know
about them. For instance, the emulation warning I added today informs
about a limitation related to rounding floating point numbers, with the
effect that results under valgrind could be different.
svn blame did not provide any insight why that particular default was
chosen.
With respect to how often a specific warning is issued, I do not see an
advantage in giving it more than once. The amount of information
provided is the same in each such warning, as the message is fixed. Only
the backtrace could be different.
So I wanted to throw this out and see what people think about it.
Florian
|