cor3ntin wrote: What are the implications here in terms of safety? I wouldn't be surprised if some code out there does purposeful access to memory past the array, even though it's UB.
As @nikic said, assume is not a constraint, it's a way to make scenarios which are UB have potentially worse effects. In recent times, I think the trend is to check the bounds rather than assume them. How does your change interact with sanitizers? https://github.com/llvm/llvm-project/pull/159046 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
