[all-commits] [llvm/llvm-project] ae7392: Reapply "[analyzer][NFC] Make RegionStore dumps de...

[Balazs Benics via All-commits]

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

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RegionStore.cpp
    A clang/test/Analysis/store-dump-orders.cpp

  Log Message:
  -----------
  Reapply "[analyzer][NFC] Make RegionStore dumps deterministic" (#115884)

This is reapplies #115615 without using tuples. The eager call of
`getRegion()` and `getOffset()` could cause crashes when the Store had
symbolic bindings.

Here I'm fixing the crash by lazily calling those getters.

Also, the tuple version poorly sorted the Clusters. The memory spaces
should have come before the regular clusters.
Now, that is also fixed here, demonstrated by the test.



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