sebpop wrote: > we're doing extra work to preserve bounds from the source code,
LLVM IR expands slightly, yes. Generated code should have no impact. We only express in the LLVM IR the constraints that the language has on array indexing. > but in a lot of cases we can infer them in SCEV SCEV cannot infer anything from the LLVM IR if the front-end says nothing about the out-of-bounds semantics. https://github.com/llvm/llvm-project/pull/159046 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
