[all-commits] [llvm/llvm-project] b73720: [analyzer] Conversion to CheckerFamily: DynamicTyp...

[Donát Nagy via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b73720cf6c5380854bf27d4453abf21cc87ae642
      https://github.com/llvm/llvm-project/commit/b73720cf6c5380854bf27d4453abf21cc87ae642
  Author: Donát Nagy <donat.nagy at ericsson.com>
  Date:   2025-06-19 (Thu, 19 Jun 2025)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    M clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp

  Log Message:
  -----------
  [analyzer] Conversion to CheckerFamily: DynamicTypePropagation (#144735)

This commit converts the class DynamicTypePropagation to a very simple
checker family, which has only one checker frontend -- but also supports
enabling the backend ("modeling checker") without the frontend.

As a tangentially related change, this commit adds the backend of
DynamicTypePropagation as a dependency of alpha.core.DynamicTypeChecker
in Checkers.td, because the header comment of DynamicTypeChecker.cpp
claims that it depends on DynamicTypePropagation and the source code
seems to confirm this.

(The lack of this dependency relationship didn't cause problems, because
'core.DynamicTypePropagation' is in the group 'core', so it is
practically always active. However, explicitly declaring the dependency
clarifies the fact that the separate existence of the modeling checker
is warranted.)



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