[gambit-list] gsc -report for finding non-reachable defines

Marc Feeley feeley at iro.umontreal.ca
Thu Aug 24 18:16:33 EDT 2017


Just remove the block declaration.  Not sure why I put it there in the first place…

Marc



> On Aug 24, 2017, at 4:20 PM, Sven Hartrumpf <hartrumpf at gmx.net> wrote:
> 
> MF, 2017-08-24 08:00:
>> A better way to determine which definitions are live is to use the tree
>> shaker. Use (declare (optimize-dead-definitions)) and “gsc -dg” to create a
>> dependency graph file “foo.dg” and then look at all the names in the foo.dg
>> file (which can also be visualized with the “dot” program). You probably
>> also want to disable inlining with (declare (not inline)) if you want to
>> disregard the fact that definitions can become dead if they are inlined at
>> all the call sites.
> 
> Yas. That works better than -report. Which option should I use to
> _avoid_ that defined constant values (like (define *opt #t)) that are never
> changed are optimized away and hence will not appear in .dg?
> At the moment, I use the following options:
> (declare (r5rs-scheme) (block) (not constant-fold) (not inline) (optimize-dead-definitions) (standard-bindings) (extended-bindings))
> 
> Greetings
> Sven
> _______________________________________________
> Gambit-list mailing list
> Gambit-list at iro.umontreal.ca
> https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list




More information about the Gambit-list mailing list