[all-commits] [llvm/llvm-project] 44fa31: [Analyzer][solver] Fix inconsistent equivalence cl...

[Gabor Marton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 44fa31fa6da0c573ed972ec1d932c4ca3fb52f8f
      https://github.com/llvm/llvm-project/commit/44fa31fa6da0c573ed972ec1d932c4ca3fb52f8f
  Author: Gabor Marton <gabor.marton at ericsson.com>
  Date:   2021-07-23 (Fri, 23 Jul 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    A clang/test/Analysis/solver-sym-simplification-no-crash2.c

  Log Message:
  -----------
  [Analyzer][solver] Fix inconsistent equivalence class data

https://bugs.llvm.org/show_bug.cgi?id=51109

When we merged two classes, `*this` became an obsolete representation of
the new `State`. This is b/c the member relations had changed during the
previous merge of another member of the same class in a way that `*this`
had no longer any members. (`mergeImpl` might keep the member relations
to `Other` and could dissolve `*this`.)

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