Skip to content
  • Jakob Stoklund Olesen's avatar
    Link to the live DomainValue after merging. · 53ec977c
    Jakob Stoklund Olesen authored
    When merging two uncollapsed DomainValues, place a link to the active
    DomainValue from the passive DomainValue.  This allows old stale
    references to the passive DomainValue to be updated to point to the
    active DomainValue.
    
    The new resolve() function finds the active DomainValue and updates the
    pointer.
    
    This change makes old live-out lists more useful since they may contain
    uncollapsed DomainValues that have since been merged into other
    DomainValues.
    
    llvm-svn: 144149
    53ec977c
Loading