[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