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

Tue May 3 00:12:57 PDT 2022

mantognini added a comment.

In D124621#3486004 <https://reviews.llvm.org/D124621#3486004>, @r.stahl wrote:

> I can confirm the issue with my patch, so this piece of code needs to be removed.
>
> As long as the following test still succeeds, this looks good to me. Back then, the analyzer was not able to cover that case without that addition.
>
> https://github.com/llvm/llvm-project/blob/main/clang/test/Analysis/globals.cpp#L110

Thanks for digging in the past. I confirm I didn't see any regression in existing tests, so I'll land it.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124621