[PATCH] D111542: [analyzer] Retrieve incomplete array extent from its redeclaration.

[Balázs Benics via Phabricator via cfe-commits]

steakhal accepted this revision.
steakhal added a comment.

Minor nits. Aside from that just land it.
Thanks for the fix.



================
Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1654
+  // NOTE: If `Init` is non-null, then a new `VD` is non-null for sure. So check
+  // `Init` for null only and don't worry about the replaced `VD`.
   if (!Init)
----------------
If the return value of `getAnyInitializer()` is null, then the value of `VD` will be actually preserved.


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

https://reviews.llvm.org/D111542