Predicate NumericCastCommon::castCheck

predicate castCheck(RValue read)