[all-commits] [llvm/llvm-project] bc08c3: [analyzer] Add new function `clang_analyzer_value`...

[Denys Petrov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bc08c3cb7f8e797fee14e96eedd3dc358608ada3
      https://github.com/llvm/llvm-project/commit/bc08c3cb7f8e797fee14e96eedd3dc358608ada3
  Author: Denys Petrov <dpetrov at accesssoftek.com>
  Date:   2022-07-15 (Fri, 15 Jul 2022)

  Changed paths:
    M clang/docs/analyzer/developer-docs/DebugChecks.rst
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
    M clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    M clang/lib/StaticAnalyzer/Core/SVals.cpp
    A clang/test/Analysis/print-ranges.cpp

  Log Message:
  -----------
  [analyzer] Add new function `clang_analyzer_value` to ExprInspectionChecker

Summary: Introduce a new function 'clang_analyzer_value'. It emits a report that in turn prints a RangeSet or APSInt associated with SVal. If there is no associated value, prints "n/a".