[PATCH] D128783: [test] Check for more -fsanitize=array-bounds regressions

serge via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jul 1 00:27:40 PDT 2022


serge-sans-paille added inline comments.


================
Comment at: clang/test/CodeGen/bounds-checking-fam.c:59
+  // CXX-STRICT-0-NOT: @__ubsan
+  return p->a[i] + (p->a)[i];
+}
----------------
Another C++-specific behavior: if the bound results from the substitution of a template parameter, event if its value is 1 it's currently not considered a FAM


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

https://reviews.llvm.org/D128783



More information about the cfe-commits mailing list