================ @@ -298,6 +301,9 @@ BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, if (V2.isSigned() && V2.isNegative()) return nullptr; + if (V2.getBitWidth() > 64) ---------------- vabridgers wrote: Will do, thanks https://github.com/llvm/llvm-project/pull/67212