Searched refs:NullSymbol (Results 1 – 1 of 1) sorted by relevance
423 SymbolRef NullSymbol = nullptr; in evalAssume() local428 NullSymbol = SIE->getLHS(); in evalAssume()433 NullSymbol = SIE->getRHS(); in evalAssume()438 SymbolRef InstanceSymbol = getInstanceSymbolFromIvarSymbol(NullSymbol); in evalAssume()442 State = removeValueRequiringRelease(State, InstanceSymbol, NullSymbol); in evalAssume()