Searched refs:DOIAAState (Results 1 – 1 of 1) sorted by relevance
5880 AbstractState &DOIAAState = DepOnInvalidAA->getState(); in run() local5881 DOIAAState.indicatePessimisticFixpoint(); in run()5883 assert(DOIAAState.isAtFixpoint() && "Expected fixpoint state!"); in run()5884 if (!DOIAAState.isValidState()) in run()