[PATCH] D86743: [analyzer] Ignore VLASizeChecker case that could cause crash

[Balázs Kéri via Phabricator via cfe-commits]

balazske added a comment.

I do not know how these changes can appear:
F12796482: Screenshot from 2020-08-28 16-06-02.png <https://reviews.llvm.org/F12796482>
The checker makes only 2 assumptions, about the array dimension being positive and about the size of the array and the extent. (This state transition happens when https://reviews.llvm.org/D81061 is applied, without it the state may look even worse.)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86743