[all-commits] [llvm/llvm-project] ef81c5: [analyzer] Disable lock order reversal check by de...

[Endre Fülöp via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ef81c51cddcb7395a94da0240ec48e367a60f18c
      https://github.com/llvm/llvm-project/commit/ef81c51cddcb7395a94da0240ec48e367a60f18c
  Author: Endre Fülöp <endre.fulop at sigmatechnology.com>
  Date:   2026-07-15 (Wed, 15 Jul 2026)

  Changed paths:
    M clang/docs/ReleaseNotes.md
    M clang/docs/analyzer/checkers.rst
    M clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    M clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
    M clang/test/Analysis/analyzer-config.c
    M clang/test/Analysis/c11lock.c
    M clang/test/Analysis/fuchsia_lock.c
    M clang/test/Analysis/pthreadlock-notes.c
    M clang/test/Analysis/pthreadlock.c

  Log Message:
  -----------
  [analyzer] Disable lock order reversal check by default in PthreadLoc… (#202452)

…kChecker

Lock order reversal is a real source of deadlocks, but the current
single-path intraprocedural analysis is a single-path analysis, and it
cannot reason about potentially overlapping executions.This makes this
part of the checker too imprecise for default-on.

Add a WarnOnLockOrderReversal option (default: false) for the previous
behavior.



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