[PATCH] D81061: [Analyzer][VLASizeChecker] Fix problem with zero index assumption.

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

balazske added a comment.

There may be still a problem somewhere else. I think assume of "a" and "a==0" should have the same results.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D81061