[PATCH] D130593: [clang][dataflow] Separate context by frame

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

While separate call strings are properly isolated from each other, repeated analysis of the same call is not:|

  while (...)
  {
    foo(...);
  }

In the above code snippet, we will end up analyzing foo with leftover state from the previous iteration. The analysis can potentially observe state private to the previous call in the current call. Do I miss something or is this intentional?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D130593/new/

https://reviews.llvm.org/D130593