may-overflow ( class interval -- class' interval' )

Vocabulary

compiler.tree.propagation.known-words

Inputs

class	an object
interval	an object

Outputs

class'	an object
interval'	an object

Definition

USING: compiler.tree.propagation.info generic.math kernel math ;

IN: compiler.tree.propagation.known-words

: may-overflow ( class interval -- class' interval' )
    over null-class? [
        2dup won't-overflow?
        [ [ integer math-class-max ] dip ] unless
    ] unless ;