[all-commits] [llvm/llvm-project] 85d97a: [analyzer] Support implicit parameter 'self' in pa...

[jkorous-apple via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 85d97aac80b8e7689a6d957441054aa817bbb192
      https://github.com/llvm/llvm-project/commit/85d97aac80b8e7689a6d957441054aa817bbb192
  Author: Jan Korous <jkorous at apple.com>
  Date:   2022-09-21 (Wed, 21 Sep 2022)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
    A clang/test/Analysis/path-notes-impl-param.m

  Log Message:
  -----------
  [analyzer] Support implicit parameter 'self' in path note

showBRParamDiagnostics assumed stores happen only via function parameters while that
can also happen via implicit parameters like 'self' or 'this'.
The regression test caused a failed assert in the original cast to ParmVarDecl.

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