[analyzer] Dump the environment entry kind as well
authorBalazs Benics <benicsbalazs@gmail.com>
Tue, 13 Sep 2022 07:04:27 +0000 (09:04 +0200)
committerBalazs Benics <benicsbalazs@gmail.com>
Tue, 13 Sep 2022 07:04:27 +0000 (09:04 +0200)
commit7cddf9cad18a65217c8ba0661fefcf78d841a16b
tree5e3a44357e27c164200b1a2cea3de82b25b10ac0
parent955e6ac49912742c3796d7e7d386bacb6ae77055
[analyzer] Dump the environment entry kind as well

By this change the `exploded-graph-rewriter` will display the class kind
of the expression of the environment entry. It makes easier to decide if
the given entry corresponds to the lvalue or to the rvalue of some
expression.

It turns out the rewriter already had support for visualizing it, but
probably was never actually used?

Reviewed By: martong

Differential Revision: https://reviews.llvm.org/D132109
clang/lib/StaticAnalyzer/Core/Environment.cpp
clang/test/Analysis/expr-inspection.c