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

jkorous-apple via All-commits all-commits at lists.llvm.org
Wed Sep 21 17:27:32 PDT 2022

  Branch: refs/heads/main
  Home:   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

More information about the All-commits mailing list