[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