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

NoQ via All-commits all-commits at lists.llvm.org
Fri Oct 18 13:14:29 PDT 2019

  Branch: refs/heads/master
  Home:   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
  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

llvm-svn: 375281

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

More information about the All-commits mailing list