[PATCH] D98622: [-Wcalled-once-parameter] Let escapes overwrite MaybeCalled states

Valeriy Savchenko via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 17 02:12:33 PDT 2021


vsavchenko added a comment.

In D98622#2630012 <https://reviews.llvm.org/D98622#2630012>, @NoQ wrote:

> LGTM! Do any of the high-level comments at the beginning of the file need to be updated to reflect this change?

No, they don't.  This commit doesn't affect the join semantics (the main focus of those).  It changes semantics of the transfer function that probably also should be described somewhere in one part of the code.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98622



More information about the cfe-commits mailing list