• Lorenz Huedepohl's avatar
    Nullify own and threshold pointers before use · 22ae8d80
    Lorenz Huedepohl authored
    Even though they are never used in an undefined way per se, there is an
    associated(node, threshold_node) statement which compares a valid
    pointer to the undefined state of threshold_node (or own_node), which
    could potentially erroneously evaluate to true, should threshold_node
    accidentally hold precisely the address of a valid node.