Class Undef

mypyc/ir/ops.py:254–270

An undefined value. Use Undef() as the initial value followed by one or more SetElement ops to initialize a struct. Pseudocode example: r0 = set_element undef MyStruct, "field1", f1 r1 = set_element r0, "field2", f2 # r1 now has new struct value with two fields set W

@final
class Undef(Value):
    """An undefined value.

    Use Undef() as the initial value followed by one or more SetElement
    ops to initialize a struct. Pseudocode example:

      r0 = set_element undef MyStruct, "field1", f1
      r1 = set_element r0, "field2", f2
      # r1 now has new struct value with two fields set

    Warning: Always initialize undefined values before using them,
    as otherwise the values are garbage. You shouldn't expect that
    undefined values are zeroed, in particular.
    """

    def __init__(self, rtype: RType) -> None:
        self.type = rtype


class Op(Value):