Re: [Chicken-janitors] #1475: (scrutinizer) Types for global variables are not refined by predicates

[Chicken Trac]

#1475: (scrutinizer) Types for global variables are not refined by predicates
------------------------------------+--------------------
            Reporter:  megane       |      Owner:  (none)
                Type:  defect       |     Status:  new
            Priority:  major        |  Milestone:  5.2
           Component:  scrutinizer  |    Version:  5.0.0
          Resolution:               |   Keywords:
Estimated difficulty:  easy         |
------------------------------------+--------------------

Comment (by felix winkelmann):

 You can only assume that "null" is valid for g2 directly after the
 predicate test - any global procedure call between predicate and use could
 jump back via a continuation, making the assumption invalid. I don't
 recall, whether the scrutinizer takes this into account. Does it? If yes,
 then I thunk your request makes sense.

-- 
Ticket URL: <https://bugs.call-cc.org/ticket/1475#comment:3>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.