Searched defs:ErrorSym (Results 1 – 2 of 2) sorted by relevance
116 SymbolRef ErrorSym; member in __anon839dddbd0111::HandleState117 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {} in HandleState()129 static HandleState getMaybeAllocated(SymbolRef ErrorSym) { in getMaybeAllocated()512 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols() local554 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume() local
613 SymbolRef ErrorSym = nullptr; in checkSummary() local