[all-commits] [llvm/llvm-project] d61ad6: [Analyzer][WebKit] Check record definition is avai...

[jkorous-apple via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: d61ad660503d2e0c7ba9981ba6526ae0c2f3b7cc
      https://github.com/llvm/llvm-project/commit/d61ad660503d2e0c7ba9981ba6526ae0c2f3b7cc
  Author: Jan Korous <jkorous at apple.com>
  Date:   2020-06-02 (Tue, 02 Jun 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/WebKit/NoUncountedMembersChecker.cpp
    A clang/test/Analysis/Checkers/WebKit/uncounted-members-regression-46142.cpp

  Log Message:
  -----------
  [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