HomePhabricator

[analyzer] Track indices of arrays

Authored by Szelethus on Jun 16 2019, 7:52 AM.

Description

[analyzer] Track indices of arrays

Often times, when an ArraySubscriptExpr was reported as null or
undefined, the bug report was difficult to understand, because the
analyzer explained why arr[i] has that value, but didn't realize that in
fact i's value is very important as well. This patch fixes this by
tracking the indices of arrays.

Differential Revision: https://reviews.llvm.org/D63080

llvm-svn: 363510

Details

Committed
SzelethusJun 16 2019, 7:52 AM
Differential Revision
D63080: [analyzer] Track indices of arrays
Parents
rG9ff09d49daea: [analyzer][NFC] Tease apart and clang-format NoStoreFuncVisitor
Branches
Unknown
Tags
Unknown