steakhal added a subscriber: NoQ. steakhal added a comment. I'm wondering if we should have an assertion within the `SValBuilder::evalBinOpLL()` asserting that the pointers should have the same bitwidths. That's better than having nothing, waiting for a bugreport containing such a constraint on the bugpath to get a crash with Z3 refutation.
That way we could have a chance to fix these issues for once and all. WDYT @NoQ @martong? ================ Comment at: clang/test/Analysis/cstring-checker-addressspace.c:14 +// Copy from host to device memory. +DEVICE void *memcpy(DEVICE void *dst, const void *src, unsigned long len); + ---------------- Please try to trigger the test using some suffix for the `memcpy`. E.g.: `memcpy_host2device` or something similar. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D118050/new/ https://reviews.llvm.org/D118050 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
