[slang-users] Optimizer

[Jörg Sommer]

Hallo John,

"John E. Davis" <davis at space.mit.edu> wrote:
> Jörg Sommer <joerg at alea.gnuu.de> wrote:
>>do_check();
>>cleanup();
>>if ( () )
>>
>>stkcheck reports in these cases many false positives which makes it
>>difficult to find real stack zombies. Can SLang optimze
>>
>>variable tmp = do_check();
>>cleanup();
>>if (tmp)
>>
>>to the code above?
>
> In general, no.  For example, slang has no way of knowing what if (())
> is refering to: a value left by do_check, or one left by cleanup.

No. I thought of a transformation that makes the above form from the
below. But your are right. If the cleanup() would leave something on the
stack the above would fail.

Bye, Jörg.
-- 
Es liegt in der Natur des Menschen, vernünftig zu denken und
unlogisch zu handeln! Das Gesagte ist nicht das Gemeinte und das Gehörte
nicht das Verstandene!