[all-commits] [llvm/llvm-project] bee481: [clang][Checkers] Fix PthreadLockChecker state cle...

[Balázs Kéri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bee4813789a378584d43c65497a5efd2353a6606
      https://github.com/llvm/llvm-project/commit/bee4813789a378584d43c65497a5efd2353a6606
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2021-04-06 (Tue, 06 Apr 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
    M clang/test/Analysis/pthreadlock.c

  Log Message:
  -----------
  [clang][Checkers] Fix PthreadLockChecker state cleanup at dead symbol.

It is possible that an entry in 'DestroyRetVal' lives longer
than an entry in 'LockMap' if not removed at checkDeadSymbols.
The added test case demonstrates this.

Reviewed By: NoQ

Differential Revision: https://reviews.llvm.org/D98504