[PATCH] D145259: [ASAN] Initial support memory checks on scalable vector typed allocas

[Kito Cheng via Phabricator via llvm-commits]

kito-cheng added a comment.

LGTM, I think don't crash the compiler is higher priority.



================
Comment at: llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp:3509
+    // upper bound on the access size.
+    return false;
   SizeOffsetType SizeOffset = ObjSizeVis.compute(Addr);
----------------
I guess we can at least assume Offset is safe when `Offset >= 0 && Offset < VF`, but anyway we have leave a TODO here.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D145259/new/

https://reviews.llvm.org/D145259