reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2717 if (BVEltWidth < CVal.getBitWidth()) 2718 CVal = CVal.trunc(BVEltWidth);