[all-commits] [llvm/llvm-project] c419ac: [alpha.webkit.UncountedCallArgsChecker] Recognize ...

Ryosuke Niwa via All-commits all-commits at lists.llvm.org
Fri Mar 7 14:40:54 PST 2025


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c419acdf82d3b33cf151f78865469cf155ddf372
      https://github.com/llvm/llvm-project/commit/c419acdf82d3b33cf151f78865469cf155ddf372
  Author: Ryosuke Niwa <rniwa at webkit.org>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp
    M clang/lib/StaticAnalyzer/Checkers/WebKit/PtrTypesSemantics.cpp
    M clang/test/Analysis/Checkers/WebKit/call-args.cpp

  Log Message:
  -----------
  [alpha.webkit.UncountedCallArgsChecker] Recognize CXXUnresolvedConstructExpr as a safe origin. (#130258)

Handle CXXUnresolvedConstructExpr in tryToFindPtrOrigin so that
constructing Ref, RefPtr, CheckedRef, CheckedPtr, ... constructed in
such a way that its type is unresolved at AST level will be still
treated as a safe pointer origin.

Also fix a bug in isPtrOfType that it was not recognizing
DeducedTemplateSpecializationType.



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


More information about the All-commits mailing list