[PATCH] D124621: CPP-2461 [Analyzer] Fix assumptions about const field with member-initializer

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Apr 29 01:25:08 PDT 2022


steakhal added a comment.

Noq wrote https://github.com/llvm/llvm-project/issues/47878#issuecomment-981036634

> Aha, uhm, yeah, i see. The static analyzer indeed thinks that a combination of "const" and a field initializer causes the field to forever stay that way. **We'll need to undo this relatively recently added shortcut.**

What "recently added shortcut" did he mention? Could you please refer to that commit in the patch summary, please?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124621



More information about the cfe-commits mailing list