Searched refs:AllocFailed (Results 1 – 3 of 3) sorted by relevance
565 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols() local566 if (AllocFailed.isConstrainedTrue() || in checkDeadSymbols()
1363 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume() local1364 if (AllocFailed.isConstrainedTrue()) in evalAssume()1374 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume() local1375 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
3418 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume() local3419 if (AllocFailed.isConstrainedTrue()) { in evalAssume()