llvm-project
ef81c51c - [analyzer] Disable lock order reversal check by default in PthreadLoc… (#202452)

Commit
2 days ago
[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.
Author
Parents
Loading