[llvm] [InstCombine] Drop zero size dereferenceable assumptions (PR #202411)

[Nikolas Klauser via llvm-commits]

================
@@ -6117,8 +6117,11 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
               "dereferenceable assumptions should have 2 arguments", Call);
         Check(GetTypeAt(0)->isPointerTy(), "first argument should be a pointer",
               Call);
-        Check(GetTypeAt(1)->isIntegerTy(),
-              "second argument should be an integer", Call);
+        Check(GetTypeAt(1)->isIntegerTy() &&
+                  GetTypeAt(1)->getIntegerBitWidth() <= 64,
----------------
philnik777 wrote:

The Clang builtin takes a `size_t`, and there is no platform where that is bigger than 64 bits.

https://github.com/llvm/llvm-project/pull/202411