[clang] [Clang] Allow non-constant sizes for __builtin_assume_dereferenceable. (PR #156929)

[Florian Hahn via cfe-commits]

================
@@ -32,3 +32,62 @@ int test2(int *a) {
   __builtin_assume_dereferenceable(a, 32ull);
   return a[0];
 }
+
+// CHECK-LABEL: @test3(
+// CHECK-NEXT:  entry:
+// CHECK-NEXT:    [[A_ADDR:%.*]] = alloca ptr, align 8
----------------
fhahn wrote:

The alignment of the `alloca`? Happy to improve this as follow-up, but I am not 
sure what the best action would be?

https://github.com/llvm/llvm-project/pull/156929
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits