[clang] -fsanitize=alignment: check memcpy/memmove arguments (PR #67766)

[Vitaly Buka via cfe-commits]

================
@@ -47,6 +50,16 @@ int main(int, char **argv) {
     return *p && 0;
     // CHECK-STACK-LOAD: #0 {{.*}}main{{.*}}misaligned.cpp
 
+  case 'L': {
+    int x;
+    // CHECK-MEMCPY-LOAD: misaligned.cpp:[[#@LINE+4]]{{(:16)?}}: runtime 
error: load of misaligned address [[PTR:0x[0-9a-f]*]] for type 'const void *', 
which requires 4 byte alignment
----------------
vitalybuka wrote:

Actually in this case I'd rather ask, why compiler believe that "p" suppose to 
be aligned?

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