Searched refs:ReturnSymbol (Results 1 – 1 of 1) sorted by relevance
512 SymbolRef ReturnSymbol = nullptr; in evalAssume() local520 ReturnSymbol = SIE->getLHS(); in evalAssume()523 if (ReturnSymbol) in evalAssume()525 if (ReturnSymbol == AllocState.Region) in evalAssume()