[Analyzer][WebKit] Check record definition is available in NoUncountedMembers checker
authorJan Korous <jkorous@apple.com>
Tue, 2 Jun 2020 17:17:01 +0000 (10:17 -0700)
committerJan Korous <jkorous@apple.com>
Tue, 2 Jun 2020 20:10:36 +0000 (13:10 -0700)
commitd61ad660503d2e0c7ba9981ba6526ae0c2f3b7cc
tree90c5d9bcc6657a0de789c389ded0f59101efbcd9
parente31ccee1b01acf703889312ee86023ff87bd39fe
[Analyzer][WebKit] Check record definition is available in NoUncountedMembers checker

isRefCountable asserts that the record passed as an argument has a definition available.

Fixes: https://bugs.llvm.org/show_bug.cgi?id=46142

Differential Revision: https://reviews.llvm.org/D81017
clang/lib/StaticAnalyzer/Checkers/WebKit/NoUncountedMembersChecker.cpp
clang/test/Analysis/Checkers/WebKit/uncounted-members-regression-46142.cpp [new file with mode: 0644]