ClangBuiltLinux / thread-safety-analysis

A research project into applying Clang's Thread Safety Analysis to the Linux Kernel
Other
6 stars 0 forks source link

drivers/net/ethernet/intel/e1000e/82571.c: e1000_reset_hw_82571: uses swflag_mutex conditionally #146

Open bulwahn opened 4 years ago

bulwahn commented 4 years ago
drivers/net/ethernet/intel/e1000e/82571.c:995:4: warning: releasing mutex 'swflag_mutex' that was not held [-Wthread-safety-analysis]
                        e1000_put_hw_semaphore_82574(hw);
                        ^

The mutex is only locked and unlocked for the hw->mac.type == e1000_82574 and hw->mac.type == e1000_82583 case.