[all-commits] [llvm/llvm-project] de9619: [WebKit checkers] Add an annotation for pointer co...

Ryosuke Niwa via All-commits all-commits at lists.llvm.org
Mon Jun 9 07:33:37 PDT 2025


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: de961997cbfae1d01c959528a9aeb12fa8c87618
      https://github.com/llvm/llvm-project/commit/de961997cbfae1d01c959528a9aeb12fa8c87618
  Author: Ryosuke Niwa <rniwa at webkit.org>
  Date:   2025-06-09 (Mon, 09 Jun 2025)

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

  Log Message:
  -----------
  [WebKit checkers] Add an annotation for pointer conversion. (#141277)

This PR adds the WebKit checker support for
[[clang::annotate_type("webkit.pointerconversion")]].

When this attribute is set on the return value of a function, the
function is treated as safe to call anywhere and the return value's
pointer origin is the argument.`



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