Searched refs:getErrorSym (Results 1 – 1 of 1) sorted by relevance
136 .isNull(State, S.getErrorSym()) in getAllocated()150 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym() function in __anonec9de0470111::HandleState509 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols()551 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume()