[analyzer] DynamicSize: Debug facility
authorCharusso <dabis.csaba98@gmail.com>
Mon, 5 Apr 2021 17:17:48 +0000 (19:17 +0200)
committerCharusso <dabis.csaba98@gmail.com>
Mon, 5 Apr 2021 17:17:52 +0000 (19:17 +0200)
commit89d210fe1a7a1c6cbf926df0595b6f107bc491d5
tree93e22fb12c5e58d08f6216f3d0738b15d6aa64e3
parent31ad5c14fefa66085eff3629c0cc8393556ba849
[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().
clang/docs/analyzer/developer-docs/DebugChecks.rst
clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
clang/test/Analysis/expr-inspection.cpp
clang/test/Analysis/memory-model.cpp [new file with mode: 0644]