Searched refs:CIM (Results 1 – 1 of 1) sorted by relevance
392 if (const CheckIntegerMatcher *CIM = dyn_cast<CheckIntegerMatcher>(M)) in isContradictoryImpl() local393 return CIM->getValue() != getValue(); in isContradictoryImpl()