Searched refs:AllocFailed (Results 1 – 3 of 3) sorted by relevance
548 ConditionTruthVal AllocFailed = CMgr.isNull(State, Sym); in checkDeadSymbols() local549 if (AllocFailed.isConstrainedTrue()) in checkDeadSymbols()
3326 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume() local3327 if (AllocFailed.isConstrainedTrue()) in evalAssume()3337 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume() local3338 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
1163 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first); in evalAssume() local1164 if (AllocFailed.isConstrainedTrue()) { in evalAssume()