Searched refs:getErrorSym (Results 1 – 1 of 1) sorted by relevance
135 .isNull(State, S.getErrorSym()) in getAllocated()149 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym() function in __anon839dddbd0111::HandleState512 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols()554 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume()