donat.nagy added a comment. After some thinking and internal discussion I decided that it'd be better to replace the callback used by this checker. This is a clean but rough draft of this concept; for a final version I'd consider:
- adding a secondary callback that handles `*ptr` equivalently to `ptr[0]`; - including a special case that it's valid to form an after-the-end pointer as `&arr[N]` where `N` is the length of the array; - including a check::Location callback that creates bug reports when these after-the-end pointers are dereferenced. @steakhal What do you think about this design direction? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D150446/new/ https://reviews.llvm.org/D150446 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
