Searched refs:AllocFailed (Results 1 – 3 of 3) sorted by relevance
566 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols() local567 if (AllocFailed.isConstrainedTrue() || in checkDeadSymbols()
2350 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume() local2351 if (AllocFailed.isConstrainedTrue()) in evalAssume()2361 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume() local2362 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
3683 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume() local3684 if (AllocFailed.isConstrainedTrue()) { in evalAssume()