[compiler-rt] [llvm] [compiler-rt][asan] Add asan checks for __builtin_assume_dereferencable (PR #190871)

[Vitaly Buka via llvm-commits]

================
@@ -693,9 +701,23 @@ void ErrorGeneric::Print() {
          bug_descr, (void *)addr, (void *)pc, (void *)bp, (void *)sp);
   Printf("%s", d.Default());
 
-  Printf("%s%s of size %zu at %p thread %s%s\n", d.Access(),
-         access_size ? (is_write ? "WRITE" : "READ") : "ACCESS", access_size,
-         (void *)addr, AsanThreadIdAndName(tid).c_str(), d.Default());
+  const char* access_type = "ACCESS";
+  if (access_size) {
+    switch (this->access_type) {
+      case AccessType::Assumption:
+        access_type = "DEREFERENCEABLE ASSUMPTION";
+        break;
----------------
vitalybuka wrote:

can we have something shorter, so inconsistency don't stand out in output?
"DEREFERENCEABLE ASSUMPTION" -> just DEREF, or ASSUME

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