Martin wrote on Fri, 24 Aug 2012:
On 24/08/2012 12:48, Jonas Maebe wrote:
That looks like a very serious bug introduced in the handling of
parameters to inlined routines. Florian changed several things
there over the last couple of months, maybe he has an idea.
If he looks at it, maybe a compiler-switch. It could be treated like
in bool eval, that might omit calls.
Definitely not, as far as I am concerned. Either the compiler can
figure it out by itself, or you add an annotation which the compiler
then verifies for correctness (like "const" for methods in C++ -- but
even this I don't like, because it adds a lot of clutter to the source
code, makes people focus way too much on useless micro-optimizations
that have to be removed again later because the code changes, and
leads only to ever more such annotations), but random annotations that
allow you to completely disable safety checks are mainly a very good
way to get completely unmaintainable code.
Jonas
_______________________________________________
fpc-devel maillist - fpc-devel@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-devel
