[all-commits] [llvm/llvm-project] 7cddf9: [analyzer] Dump the environment entry kind as well

Balazs Benics via All-commits all-commits at lists.llvm.org
Tue Sep 13 00:04:52 PDT 2022


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7cddf9cad18a65217c8ba0661fefcf78d841a16b
      https://github.com/llvm/llvm-project/commit/7cddf9cad18a65217c8ba0661fefcf78d841a16b
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2022-09-13 (Tue, 13 Sep 2022)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/Environment.cpp
    M clang/test/Analysis/expr-inspection.c

  Log Message:
  -----------
  [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




More information about the All-commits mailing list