kees added a comment. This appears to be working for me. For before/after changes, the other half is still needed, i.e. a "accessing array of unknown size" and eventually splitting the dynamic sizing check off of that one (once -fsanitize=bounds checks __builtin_dynamic_object_size).
For example, comparing various development builds over time, if some source had 49 array accesses: initial code: fixed:5 unknown:44 code refactored: fixed:10 unknown:39 bdos added to bounds checker: fixed:10 dynamic:4 unknown:35 code refactoring: fixed:10 dynamic:28 unknown:11 Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D144136/new/ https://reviews.llvm.org/D144136 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits