[all-commits] [llvm/llvm-project] f63da4: [analyzer] Fix an implicit cast to a base ref coun...

Ryosuke Niwa via All-commits all-commits at lists.llvm.org
Mon Feb 12 15:01:28 PST 2024


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f63da479ae2f5e0d747430f268ae7b458c02455c
      https://github.com/llvm/llvm-project/commit/f63da479ae2f5e0d747430f268ae7b458c02455c
  Author: Ryosuke Niwa <rniwa at webkit.org>
  Date:   2024-02-12 (Mon, 12 Feb 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/WebKit/PtrTypesSemantics.cpp
    A clang/test/Analysis/Checkers/WebKit/implicit-cast-to-base-class-with-deref-in-superclass.cpp

  Log Message:
  -----------
  [analyzer] Fix an implicit cast to a base ref counted class generates a false positive. (#80934)

The bug was caused by isRefCountable erroneously returning false for a
class with both ref() and deref() functions defined because we were not
resetting the base paths results between looking for "ref()" and
"deref()"




More information about the All-commits mailing list