[all-commits] [llvm/llvm-project] 89d210: [analyzer] DynamicSize: Debug facility

[Charusso via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 89d210fe1a7a1c6cbf926df0595b6f107bc491d5
      https://github.com/llvm/llvm-project/commit/89d210fe1a7a1c6cbf926df0595b6f107bc491d5
  Author: Charusso <dabis.csaba98 at gmail.com>
  Date:   2021-04-05 (Mon, 05 Apr 2021)

  Changed paths:
    M clang/docs/analyzer/developer-docs/DebugChecks.rst
    M clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
    M clang/test/Analysis/expr-inspection.cpp
    A clang/test/Analysis/memory-model.cpp

  Log Message:
  -----------
  [analyzer] DynamicSize: Debug facility

This patch adds two debug functions to ExprInspectionChecker to dump out
the dynamic extent and element count of symbolic values:
dumpExtent(), dumpElementCount().