Searched refs:NullSymbol (Results 1 – 1 of 1) sorted by relevance
430 SymbolRef NullSymbol = nullptr; in evalAssume() local435 NullSymbol = SIE->getLHS(); in evalAssume()440 NullSymbol = SIE->getRHS(); in evalAssume()445 SymbolRef InstanceSymbol = getInstanceSymbolFromIvarSymbol(NullSymbol); in evalAssume()449 State = removeValueRequiringRelease(State, InstanceSymbol, NullSymbol); in evalAssume()