[PATCH] D129498: [analyzer] Add new function `clang_analyzer_value` to ExprInspectionChecker

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Looks great!

Maybe `clang_analyzer_range()` instead?

Please add documentation to https://clang.llvm.org/docs/analyzer/developer-docs/DebugChecks.html



================
Comment at: clang/test/Analysis/print-ranges.cpp:1
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config eagerly-assume=false -verify %s
+
----------------
I suspect this test will crash when clang is built with Z3, because the Z3 constraint manager doesn't implement your new function yet.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D129498/new/

https://reviews.llvm.org/D129498