reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
475 ASTContext &ACtx = BVF.getContext(); 490 RangeIntTy IntMax = BVF.getMaxValue(IntTy).getLimitedValue(); 491 RangeIntTy LongMax = BVF.getMaxValue(LongTy).getLimitedValue(); 492 RangeIntTy LongLongMax = BVF.getMaxValue(LongLongTy).getLimitedValue();