[all-commits] [llvm/llvm-project] b51479: [analyzer] Add more information to the Exploded Graph

[isuckatcs via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b5147937b2a9ffdc12110a5df5ba4d482f83d2a8
      https://github.com/llvm/llvm-project/commit/b5147937b2a9ffdc12110a5df5ba4d482f83d2a8
  Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
  Date:   2022-09-03 (Sat, 03 Sep 2022)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
    M clang/test/Analysis/exploded-graph-rewriter/checker_messages.dot
    M clang/test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot
    M clang/test/Analysis/exploded-graph-rewriter/constraints.dot
    M clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
    M clang/test/Analysis/exploded-graph-rewriter/environment.dot
    M clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot
    A clang/test/Analysis/exploded-graph-rewriter/program_state_traits.dot
    M clang/test/Analysis/exploded-graph-rewriter/store.dot
    M clang/test/Analysis/exploded-graph-rewriter/store_diff.dot
    M clang/test/Analysis/exploded-graph-rewriter/topology.dot
    M clang/test/Analysis/expr-inspection.c
    M clang/utils/analyzer/exploded-graph-rewriter.py

  Log Message:
  -----------
  [analyzer] Add more information to the Exploded Graph

This patch dumps every state trait in the egraph. Also
the empty state traits are no longer dumped, instead
they are treated as null by the egraph rewriter script,
which solves reverse compatibility issues.

Differential Revision: https://reviews.llvm.org/D131187