[all-commits] [llvm/llvm-project] e05d91: [analyzer][NFC] Make RegionStore dumps determinist...

Balazs Benics via All-commits all-commits at lists.llvm.org
Tue Nov 12 05:50:42 PST 2024


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e05d91b30e1fe2ed9a90911de2b959395d0318c8
      https://github.com/llvm/llvm-project/commit/e05d91b30e1fe2ed9a90911de2b959395d0318c8
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-11-12 (Tue, 12 Nov 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RegionStore.cpp

  Log Message:
  -----------
  [analyzer][NFC] Make RegionStore dumps deterministic (#115615)

Dump the memory space clusters before the other clusters, in
alphabetical order. Then default bindings over direct bindings, and if
any has symbolic offset, then those should come before the ones with
concrete offsets.
In theory, we should either have a symbolic offset OR concrete offsets,
but never both at the same time.

Needed for #114835



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications


More information about the All-commits mailing list