diff options
| author | Vince Bridgers <vince.a.bridgers@gmail.com> | 2020-05-31 19:03:16 -0500 |
|---|---|---|
| committer | einvbri <vince.a.bridgers@ericsson.com> | 2020-06-04 07:25:35 -0500 |
| commit | bd425825411af1b340134b0e8c9c03733ee87d66 (patch) | |
| tree | 537859e2ac4a5e4a1352cc07dc57d5b58d369e43 /llvm/unittests/Support/VirtualFileSystemTest.cpp | |
| parent | ecbf34c0e480654206330e53d8a103e824329083 (diff) | |
| download | llvm-bd425825411af1b340134b0e8c9c03733ee87d66.zip llvm-bd425825411af1b340134b0e8c9c03733ee87d66.tar.gz llvm-bd425825411af1b340134b0e8c9c03733ee87d66.tar.bz2 | |
[analyzer] Ignore calculated indices of <= 0 in VLASizeChecker
Summary:
See https://bugs.llvm.org/show_bug.cgi?id=46128. The checker does not
yet comprehend constraints involving multiple symbols, so it's possible
to calculate a VLA size that's negative or 0. A LIT is added to catch
regressions, and this change simply bails if a VLA size of 0 or less is
calculated.
Reviewers: balazske, NoQ, martong, baloghadamsoftware, Szelethus, gamesh411
Reviewed By: balazske, NoQ, Szelethus
Subscribers: xazax.hun, szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, Charusso, ASDenysPetrov, cfe-commits, dkrupp
Tags: #clang
Differential Revision: https://reviews.llvm.org/D80903
Diffstat (limited to 'llvm/unittests/Support/VirtualFileSystemTest.cpp')
0 files changed, 0 insertions, 0 deletions