Searched refs:NullSymbol (Results 1 – 1 of 1) sorted by relevance
422 SymbolRef NullSymbol = nullptr; in evalAssume() local427 NullSymbol = SIE->getLHS(); in evalAssume()432 NullSymbol = SIE->getRHS(); in evalAssume()437 SymbolRef InstanceSymbol = getInstanceSymbolFromIvarSymbol(NullSymbol); in evalAssume()441 State = removeValueRequiringRelease(State, InstanceSymbol, NullSymbol); in evalAssume()