No, it's not that precise. Valgrind is based on tagging whether a memory location is live or not. So, it would not just fail the intra-object OOB test, it woul

No, it's not that precise. Valgrind is based on tagging whether a memory location is live or not. So, it would not just fail the intra-object OOB test, it would also fail the "out of bounds but in bounds" case: https://github.com/pizlonator/llvm-project-deluge/blob/deluge/invisicaps_by_example.md#out-of-bounds-but-in-bounds https://github.com/pizlonator/llvm-project-deluge/blob/delug...