[all-commits] [llvm/llvm-project] b3e34e: [analyzer] Drop the logic for collapsing the state...

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: b3e34e043cae03e56f2a1b23eae1669e1c3be770
      https://github.com/llvm/llvm-project/commit/b3e34e043cae03e56f2a1b23eae1669e1c3be770
  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] Drop the logic for collapsing the state if it's same as in preds.

One of the first attempts to reduce the size of the exploded graph dumps
was to skip the state dump as long as the state is the same as in all of
the predecessor nodes. With all the new facilities in place (node joining,
diff dumps), this feature doesn't do much, and when it does,
it's more harmful than useful. Let's remove it.

llvm-svn: 375280


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

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/MemRegion.cpp
    M clang/test/Analysis/dump_egraph.cpp
    M clang/test/Analysis/exploded-graph-rewriter/initializers_under_construction.cpp
    M clang/test/Analysis/expr-inspection.c

  Log Message:
  -----------
  [analyzer] Fix FieldRegion dumps.

The '->' thing has always been confusing; the actual operation '->'
translates to a pointer dereference together with adding a FieldRegion,
but FieldRegion on its own doesn't imply an additional pointer
dereference.

llvm-svn: 375281


Compare: https://github.com/llvm/llvm-project/compare/d93b810cd673...2b4f6df91775