[PATCH] D71152: [analyzer] Keep track of escaped locals.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Hiding the trait in `ExprEngine` has the additional benefit of disallowing *direct* access to the trait - it can only be accessed through getters. It also doesn't prevent us from exposing the trait to checkers as a method on `ProgramState` in the future, because `ProgramStateManager` has access to `SubEngine`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71152