[PATCH] D98502: [clang][Checkers] Extend PthreadLockChecker state dump (NFC).
Balázs Benics via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Mar 31 05:41:50 PDT 2021
steakhal added inline comments.
================
Comment at: clang/test/Analysis/pthreadlock_state.c:59
+ // CHECK-NEXT: "mtx: destroyed",
+ // CHECK-NEXT: "SymRegion{reg_$[[REG:[0-9]+]]<pthread_mutex_t * mtx1>}: not tracked, possibly destroyed",
+ // CHECK-NEXT: "Mutexes in unresolved possibly destroyed state:",
----------------
balazske wrote:
> This test fails at some buildbots because ordering of the lines ("mtx" and "SymRegion") is reversed.
Uh yea. That's a mapping over pointer values - which is nondeterministic.
You have two options. Either rework the test to have a single entry in that mapping at most, or sort them somehow.
TBH I think the first is the easier :D
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D98502/new/
https://reviews.llvm.org/D98502
More information about the cfe-commits
mailing list