[analyzer] Fix false positive on introspection of a block's internal layout.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 6 Dec 2019 21:20:36 +0000 (13:20 -0800)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 6 Dec 2019 21:24:20 +0000 (13:24 -0800)
commit040c39d50fb9c60de9020caf86e1a1fccfd6f861
treef71411bcbe7437b20de972110f345c3913acec63
parentd5abaaf140ac7f6d59ac11c0ecbdb8fa93972bf6
[analyzer] Fix false positive on introspection of a block's internal layout.

When implementation of the block runtime is available, we should not
warn that block layout fields are uninitialized simply because they're
on the stack.
clang/lib/StaticAnalyzer/Core/RegionStore.cpp
clang/test/Analysis/blocks.m