[all-commits] [llvm/llvm-project] 1ca600: [alpha.webkit.UncountedCallArgsChecker] Support mo...

Ryosuke Niwa via All-commits all-commits at lists.llvm.org
Wed May 1 11:28:07 PDT 2024


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1ca600586a61cee41e117a188d880417de3e1c00
      https://github.com/llvm/llvm-project/commit/1ca600586a61cee41e117a188d880417de3e1c00
  Author: Ryosuke Niwa <rniwa at webkit.org>
  Date:   2024-05-01 (Wed, 01 May 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/WebKit/PtrTypesSemantics.cpp
    M clang/test/Analysis/Checkers/WebKit/uncounted-obj-arg.cpp

  Log Message:
  -----------
  [alpha.webkit.UncountedCallArgsChecker] Support more trivial expressions. (#90414)

Treat a compound operator such as |=, array subscription, sizeof, and
non-type template parameter as trivial so long as subexpressions are
also trivial.

Also treat true/false boolean literal as trivial.



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