[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