Static analyzer has a mechanism of clearing redundant nodes when
analysis hits a certain threshold with a number of nodes in exploded
graph (default is 1000). It is similar to GC and aims removing nodes
not useful for analysis. Unfortunately nodes corresponding to array
subscript expressions (that actively participate in data propagation)
get removed during the cleanup. This might prevent the analyzer from
generating useful notes about where it thinks the data came from.
This fix is pretty much consistent with the way analysis works
already. Lvalue "interestingness" stands for the analyzer's
possibility of tracking values through them.
rdar://problem/53280338
AFAIK rdar is not accessible outside Apple. So, for the rest of the open source developers any rdar info is totally useless. Thus, could you please copy the relevant parts of the bug description from there into the test file? Would be even better if we could just mention the rdar link in the test file and the filename itself was better explaining the nature of the bug.