[all-commits] [llvm/llvm-project] 50da22: [alpha.webkit.UncountedCallArgsChecker] A return v...

[Ryosuke Niwa via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 50da22a9f4394de964eceb23097e1d05cc4dcdb6
      https://github.com/llvm/llvm-project/commit/50da22a9f4394de964eceb23097e1d05cc4dcdb6
  Author: Ryosuke Niwa <rniwa at webkit.org>
  Date:   2025-09-11 (Thu, 11 Sep 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp
    A clang/test/Analysis/Checkers/WebKit/template-wrapper-call-arg.cpp

  Log Message:
  -----------
  [alpha.webkit.UncountedCallArgsChecker] A return value can be erroneously treated as unsafe if it's a template parameter (#157993)

When a template class takes Ref<T> as a template parameter and this
template parameter is used as the return value of a member function, the
return value can be treated as unsafe (i.e. emits a false positive). The
issue was caused by getCanonicalType sometimes converting Ref<T> to T.
Workaround this problem by avoid emitting a warning when the original,
non-canonical type is a safe pointer type.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications