nlopes added a comment. The issue is the function call, not the stores. Stores are valid as long as they are to local memory (stack or allocated by the function).
Because of the call, you can't tag it as `memory(none)`. But you may be able to tag it with inaccessiblemem if the call is also marked as such. Otherwise, no. Performance wise it shouldn't matter much. How many functions are tagged with pure/const in source code? So here I would lean towards correctness. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D138958/new/ https://reviews.llvm.org/D138958 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits