[PATCH] D80171: [analyzer] LoopUnrolling: fix crash when a parameter is a loop counter
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue May 19 05:55:02 PDT 2020
xazax.hun added reviewers: NoQ, vsavchenko.
xazax.hun added a comment.
Thanks for finding this bug! Adding some reviewers.
I think it would be perfectly fine to unroll loops where the loop counter is a pass-by-value parameter. That should not be considered escaped.
I think in case of parameters `isPossiblyEscaped` should return false for values and true for references.
What do you think?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D80171/new/
https://reviews.llvm.org/D80171
More information about the cfe-commits
mailing list