[all-commits] [llvm/llvm-project] 7a17f1: [analyzer] Fix hidden node traversal in exploded g...

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 7a17f197093a6872d910b7486cfd43a53aba220b
      https://github.com/llvm/llvm-project/commit/7a17f197093a6872d910b7486cfd43a53aba220b
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-10-18 (Fri, 18 Oct 2019)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
    M clang/test/Analysis/dump_egraph.c

  Log Message:
  -----------
  [analyzer] Fix hidden node traversal in exploded graph dumps.

The joined nodes now actually have the same state. That was intended
from the start but the original implementation turned out to be buggy.

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

llvm-svn: 375278


  Commit: d93b810cd673d37598ed05334a662e6878c32812
      https://github.com/llvm/llvm-project/commit/d93b810cd673d37598ed05334a662e6878c32812
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-10-18 (Fri, 18 Oct 2019)

  Changed paths:
    M clang/test/Analysis/exploded-graph-rewriter/edge.dot
    M clang/test/Analysis/exploded-graph-rewriter/node_labels.dot
    M clang/test/Analysis/exploded-graph-rewriter/program_points.dot
    M clang/test/Analysis/exploded-graph-rewriter/trimmers.dot
    M clang/utils/analyzer/exploded-graph-rewriter.py

  Log Message:
  -----------
  [analyzer] exploded-graph-rewriter: Fix dump for state 0.

It shouldn't say "unspecified" when the state is specified to be empty.

llvm-svn: 375279


Compare: https://github.com/llvm/llvm-project/compare/9f9151d49410...d93b810cd673