================ @@ -1603,6 +1603,11 @@ defm assume_unique_vtables : BoolFOption<"assume-unique-vtables", BothFlags<[], [ClangOption, CLOption]>>; def fassume_sane_operator_new : Flag<["-"], "fassume-sane-operator-new">, Group<f_Group>; +defm assume_array_bounds : BoolFOption<"assume-array-bounds", + CodeGenOpts<"AssumeArrayBounds">, DefaultFalse, + PosFlag<SetTrue, [], [ClangOption, CC1Option], + "Generate llvm.assume for array bounds to enable optimizations (may break code with intentional out-of-bounds access)">, ---------------- erichkeane wrote:
Is this ALL accesses, or just dereferences? We need to ensure we allow 1 past the end for iterators, else this feature is worthless. https://github.com/llvm/llvm-project/pull/159046 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
